scientific article; zbMATH DE number 1107650

MaRDI QIDQ4373589zbMATH OpenFDO

Authors

Publication date 10 May 1998

zbMATH Keywords

multi-agent systemssynchronous systemstableau algorithmsperfect recalltemporal logic of knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Recommendations

• Tableaux for logics of time and knowledge with interactions relating to synchrony
• Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Sequent calculi with analytic cut for logics of time and knowledge with perfect recall

Cited in

(6)

• Temporal epistemic logic for perfect recall
• Axioms for logics of knowledge and past time: synchrony and unique initial states
• Temporalising tableaux
• Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge
• Automata for epistemic temporal logic with synchronous communication
• Tableaux for logics of time and knowledge with interactions relating to synchrony

This page was built for publication:

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