Logic/General logic/Temporal logic
Subject Classification
ACM: Theory of computation~Modal and temporal logics
AMS: Mathematical logic and foundations / General logic / Temporal logic
2024
A Verified Proof Checker for Metric First-Order Temporal Logic
by Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk and Dmitriy Traytel
2020
An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation
by Salomon Sickert
2019
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic
by Joshua Schneider and Dmitriy Traytel