A derivation-loop method for temporal logic

DOI10.15388/LMR.A.2019.14953MaRDI QIDQ5040806zbMATH OpenFDO

Authors Romas Alonderis, Haroldas Giedra

Publication date 18 October 2022

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

Full work available at URL https://doi.org/10.15388/LMR.A.2019.14953

zbMATH Keywords

sequent calculitemporal logicsderivation loops

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 4170873 (Why is no real title available?)
• scientific article; zbMATH DE number 3937153 (Why is no real title available?)
• scientific article; zbMATH DE number 1189110 (Why is no real title available?)
• scientific article; zbMATH DE number 1333594 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Cut-Free and Invariant-Free Sequent Calculus for PLTL
• A completeness proof for an infinitary tense-logic
• Clausal temporal resolution
• Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
• Decision complexity of variants of propositional dynamic logic
• Sequent calculi for propositional star-free likelihood logic
• Temporal logic can be more expressive

Cited in

(4)

• scientific article; zbMATH DE number 67448 (Why is no real title available?)
• Restrictions for loop-check in sequent calculus for temporal logic
• Loop-check specification for a sequent calculus of temporal logic
• Automated deduction in a graphical temporal logic

Describes a project that uses

Uses Software

• TTM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5040806)