Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability

DOI10.1007/S10986-007-0019-5MaRDI QIDQ2376368zbMATH OpenOpenAlexFDO

Authors Jūratė Sakalauskaitė

Publication date 21 June 2013

Published in Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10986-007-0019-5

zbMATH Keywords

sequent calculusawarenessbranching timetemporal logics of knowlwdge and belief

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5177771
• Sequent calculi for temporal logics of common knowledge and belief
• Sequent calculi with analytic cut for logics of time and knowledge with perfect recall
• A sequent calculus for logic of knowledge and past time: completeness and decidability
• A resolution-based proof method for temporal logics of knowledge and belief

Cites work

• scientific article; zbMATH DE number 5177771 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• A guide to completeness and complexity for modal logics of knowledge and belief
• Belief, awareness, and limited reasoning
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Complete axiomatizations for reasoning about knowledge and branching time
• Computational Logic in Multi-Agent Systems
• Decision procedures and expressiveness in the temporal logic of branching time
• On the support of distributions of integer-valued additive functions
• Propositional dynamic logic of regular programs
• Resolution for temporal logics of knowledge
• Sequent calculi for temporal logics of common knowledge and belief
• Strictness of the Modal μ-Calculus Hierarchy

Cited in

(4)

• A sequent calculus for logic of knowledge and past time: completeness and decidability
• scientific article; zbMATH DE number 5177771 (Why is no real title available?)
• Sequent calculi for temporal logics of common knowledge and belief
• Sequent calculi with analytic cut for logics of time and knowledge with perfect recall

This page was built for publication: Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability

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