scientific article; zbMATH DE number 1107650

zbMATH Open0886.03025MaRDI QIDQ4373589FDOQ4373589

Authors:

Publication date: 10 May 1998

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

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

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)