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

DOI10.1007/S10986-007-0019-5zbMath1266.03027OpenAlexW2157031388MaRDI QIDQ2376368

Jurate Saskalauskaite

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 calculusbranching timeawarenesstemporal logics of knowlwdge and belief

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief, awareness, and limited reasoning
• A guide to completeness and complexity for modal logics of knowledge and belief
• Propositional dynamic logic of regular programs
• Complete axiomatizations for reasoning about knowledge and branching time
• On the support of distributions of integer-valued additive functions
• Decision procedures and expressiveness in the temporal logic of branching time
• Resolution for temporal logics of knowledge
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Strictness of the Modal μ-Calculus Hierarchy
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Computational Logic in Multi-Agent Systems

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