Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability
From MaRDI portal
Publication:2376368
DOI10.1007/S10986-007-0019-5zbMATH Open1266.03027OpenAlexW2157031388MaRDI QIDQ2376368FDOQ2376368
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
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
- Belief, awareness, and limited reasoning
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- Decision procedures and expressiveness in the temporal logic of branching time
- A guide to completeness and complexity for modal logics of knowledge and belief
- Complete Axiomatizations for Reasoning about Knowledge and Time
- Complete axiomatizations for reasoning about knowledge and branching time
- Resolution for temporal logics of knowledge
- Computational Logic in Multi-Agent Systems
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
- Strictness of the Modal μ-Calculus Hierarchy
- On the support of distributions of integer-valued additive functions
- Sequent calculi for temporal logics of common knowledge and belief
- Title not available (Why is that?)
Cited In (4)
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)
