Complete Axiomatizations for Reasoning about Knowledge and Time

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (55)

Probabilistic temporal logic with countably additive semantics
Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
Knowing how to plan about planning: higher-order and meta-level epistemic planning
Propositional Dynamic Logic for Hyperproperties
Logics of Rational Interaction
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
A process calculus for privacy-preserving protocols in location-based service systems
Memory and perfect recall in extensive games
Clausal resolution in a logic of rational agency
Temporal approach to causal knowledge
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
Simulative belief logic
Bounded model checking for knowledge and real time
Sequent calculi with analytic cut for logics of time and knowledge with perfect recall
Logics for Temporal Information Systems in Rough Set Theory
An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic
Tableaux for logics of time and knowledge with interactions relating to synchrony
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
Merging frameworks for interaction
REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
A communication algorithm for teamwork in multi-agent environments
Complete axiomatizations for reasoning about knowledge and branching time
Finite sequent calculi for PLTL
On axiomatizations of public announcement logic
The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language
Discrete linear temporal logic with knowing-value operator
Intensional protocols for dynamic epistemic logic
Automata for epistemic temporal logic with synchronous communication
Permission to speak: a logic for access control and conformance
A Connectionist Computational Model for Epistemic and Temporal Reasoning
Announcement as effort on topological spaces
Using temporal logics of knowledge for specification and verification -- a case study
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
The logic of knowledge based obligation
A sequent calculus for logic of knowledge and past time: completeness and decidability
Formalisation of probabilistic concealment
The complexity of reasoning about knowledge and time. I: Lower bounds
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
Epistemic GDL: a logic for representing and reasoning about imperfect information games
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
Title not available (Why is that?)
Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
A history based logic for dynamic preference updates
Linear temporal justification logics with past and future time modalities
Temporal Aspects of the Dynamics of Knowledge
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
Temporal logics of knowledge and their applications in security
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
Some comments on history based structures
On Linear Logic of Knowledge and Time
Merging DEL and ETL
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

   Recommendations

Complete axiomatizations for reasoning about knowledge and branching time 👍 👎
Sequent calculi with analytic cut for logics of time and knowledge with perfect recall 👍 👎
Axioms for logics of knowledge and past time: synchrony and unique initial states 👍 👎
Knowledge, belief and time 👍 👎
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking 👍 👎

This page was built for publication: Complete Axiomatizations for Reasoning about Knowledge and Time

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