Finite sequent calculi for PLTL

DOI10.15388/LMR.A.2015.01MaRDI QIDQ5040746zbMATH OpenOpenAlexFDO

Authors Romas Alonderis, Aida Pliuškevičienė, R. Pliuškevičius

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.2015.01

zbMATH Keywords

invariant rulelooping axiomssequent calculustemporal logic of knowledgetheorem proving

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Recommendations

• A Cut-Free and Invariant-Free Sequent Calculus for PLTL
• Sequent systems for PLTL
• PTL sequent calculus system
• Many-place sequent calculi for finitely-valued logics
• Cut, invariant rule, and loop-check free sequent calculus for PLTL
• scientific article; zbMATH DE number 218517
• Sequent calculi for choice logics
• Dual systems of tableaux and sequents for PLTL
• scientific article; zbMATH DE number 2059009
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

Cites work

• A practical decision method for propositional dynamic logic (preliminary report)
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Cut, invariant rule, and loop-check free sequent calculus for PLTL
• Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
• Efficient loop-check for KD45 logic
• Finite sequent calculi for PLTL
• scientific article; zbMATH DE number 5521795 (Why is no real title available?)
• scientific article; zbMATH DE number 3937153 (Why is no real title available?)
• scientific article; zbMATH DE number 1333594 (Why is no real title available?)
• scientific article; zbMATH DE number 517085 (Why is no real title available?)
• scientific article; zbMATH DE number 1765665 (Why is no real title available?)
• Temporal logics of knowledge and their applications in security
• The saturated tableaux for linear miniscope Horn-like temporal logic

Cited in

(3)

• Dual systems of tableaux and sequents for PLTL
• A Cut-Free and Invariant-Free Sequent Calculus for PLTL
• Finite sequent calculi for PLTL

This page was built for publication: Finite sequent calculi for PLTL

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