A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief

DOI10.1080/11663081.1998.10510944MaRDI QIDQ4236067zbMATH OpenOpenAlexFDO

Authors

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

zbMATH Keywords

logic of belieflogic of knowledgetableaux proof methodtemporal logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A resolution-based proof method for temporal logics of knowledge and belief
• An analytic tableau calculus for a temporalised belief logic
• Tableau methods for modal and temporal logics
• A general tableau method for propositional interval temporal logics
• scientific article; zbMATH DE number 3937153
• A general tableau method for propositional interval temporal logics: theory and implementation
• A framework for using knowledge in tableau proofs
• scientific article; zbMATH DE number 1189099
• Sequent calculi for temporal logics of common knowledge and belief
• scientific article; zbMATH DE number 1341479

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Knowledge, belief and time
• Proof methods for modal and intuitionistic logics
• The complexity of reasoning about knowledge and time. I: Lower bounds
• What can machines know?

Cited in

(22)

• Clausal resolution in a logic of rational agency
• Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability
• 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
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• Tableau methods for modal and temporal logics
• Temporal logics of knowledge and their applications in security
• Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• Tableaux for logics of time and knowledge with interactions relating to synchrony
• Taming the Complexity of Temporal Epistemic Reasoning
• scientific article; zbMATH DE number 1189099 (Why is no real title available?)
• scientific article; zbMATH DE number 1107650 (Why is no real title available?)
• scientific article; zbMATH DE number 1950263 (Why is no real title available?)
• scientific article; zbMATH DE number 1536563 (Why is no real title available?)
• An analytic tableau calculus for a temporalised belief logic
• A framework for using knowledge in tableau proofs
• A resolution-based proof method for temporal logics of knowledge and belief
• Logics for Temporal Information Systems in Rough Set Theory
• Tableau Systems for Epistemic Positional Logics

This page was built for publication: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief

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