A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
From MaRDI portal
Publication:4236067
DOI10.1080/11663081.1998.10510944zbMath0926.03011OpenAlexW2000567285MaRDI QIDQ4236067
No author found.
Publication date: 23 November 1999
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1998.10510944
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (11)
Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ A sequent calculus for logic of knowledge and past time: completeness and decidability ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony ⋮ Taming the Complexity of Temporal Epistemic Reasoning ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Clausal resolution in a logic of rational agency ⋮ Logics for Temporal Information Systems in Rough Set Theory
Cites Work
This page was built for publication: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
