Logic/General logic/Temporal logic

Subject Classification

ACM: Theory of computation~Modal and temporal logics

AMS: Mathematical logic and foundations / General logic / Temporal logic

2025

Language Partitioning for Mission-time Linear Temporal Logic

by Zili Wang, Katherine Kosaian and Alec Rosentrater

Mar 03

Mission-time Linear Temporal Logic to Regular Expressions

by Zili Wang and Katherine Kosaian

Jan 24

Mission-time Linear Temporal Logic

by Katherine Kosaian, Zili Wang and Elizabeth Sloan

Jan 24

2024

Definitive Set Semantics for LTL3

by Rayhana Amjad, Rob van Glabbeek and Liam O'Connor

Aug 12

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

Apr 16

2020

An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation

by Salomon Sickert

May 08

2019

Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic

by Joshua Schneider and Dmitriy Traytel

Jul 04

2016

Allen's Interval Calculus

by Fadoua Ghourabi

Sep 29

Linear Temporal Logic

by Salomon Sickert

Mar 01

2014

A shallow embedding of HyperCTL*

by Markus N. Rabe, Peter Lammich and Andrei Popescu

Apr 16

2011

Interval Temporal Logic on Natural Numbers

by David Trachtenherz

Feb 23