A derivation-loop method for temporal logic

DOI10.15388/LMR.A.2019.14953MaRDI QIDQ5040806

R. Alonderis, Haroldas Giedra

Publication date: 18 October 2022

Published in: Lietuvos matematikos rinkinys (Search for Journal in Brave)

zbMATH Keywords

sequent calculitemporal logicsderivation loops

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Uses Software

• TTM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sequent calculi for propositional star-free likelihood logic
• Temporal logic can be more expressive
• A Cut-Free and Invariant-Free Sequent Calculus for PLTL
• Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
• Decision complexity of variants of propositional dynamic logic
• A completeness proof for an infinitary tense-logic
• Clausal temporal resolution

This page was built for publication: A derivation-loop method for temporal logic