scientific article; zbMATH DE number 3902018

Cited in

(46)

Introspective forgetting
Programming simultaneous actions using common knowledge
The complexity of reasoning about knowledge and time. I: Lower bounds
Concurrent common knowledge: Defining agreement for asynchronous systems
Modelling knowledge and action in distributed systems
Common knowledge revisited
Knowledge in shared memory systems.
Common knowledge and update in finite environments
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
Topological reasoning and the logic of knowledge
Revocable belief revision
Intensional protocols for dynamic epistemic logic
Asynchronous knowledge with hidden actions in the situation calculus
Recording and analysing knowledge-based distributed deduction processes
Comments to `Logics of public communications'
Distributed knowability and Fitch's paradox
Some comments on history based structures
The logic of knowledge based obligation
Communication, consensus, and knowledge
Logics of rational interaction
The category of node-and-choice forms, with subcategories for choice-sequence forms and choice-set forms
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
Multi-agent Systems and Paraconsistent Knowledge
Knowledge, Time, and Logical Omniscience
scientific article; zbMATH DE number 6863657 (Why is no real title available?)
On axiomatizations of public announcement logic
States of knowledge
scientific article; zbMATH DE number 7440211 (Why is no real title available?)
A dynamic epistemic framework for conformant planning
PRIORITY MERGE AND INTERSECTION MODALITIES
Keeping track of the latest gossip in a distributed system
Knowledge and local actions
Temporal Aspects of the Dynamics of Knowledge
Synchronizing diachronic uncertainty
Journal on Data Semantics I
Levels of knowledge in distributed systems.
Logical omniscience
Merging DEL and ETL
Automata for epistemic temporal logic with synchronous communication
Preface to the special issue: Temporal logics of agency
Program semantics and verification technique for AI-centred programs
To know or not to know: Epistemic approaches to security protocol verification
An epistemic perspective on subjective and objective time
An SMT-based approach to the verification of knowledge-based programs
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Knowledge and common knowledge in a Byzantine environment: Crash failures

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 Q3680260)