Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Reasoning about knowledge
Model checking
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
On the Relation between Interpreted Systems and Kripke Models
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
Bounded model checking for knowledge and real time
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A complete and decidable axiomatisation for deontic interpreted systems
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Hi-index | 0.00 |
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic "reset" operator defined on the intersection between epistemic and temporal relations. Additionally we show the logic has the finite model property, hence it is decidable.