Intensional protocols for dynamic epistemic logic
From MaRDI portal
Publication:2295601
Recommendations
Cites work
- scientific article; zbMATH DE number 3902018 (Why is no real title available?)
- scientific article; zbMATH DE number 1522955 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- A course in game theory.
- A knowledge based semantics of messages
- A logic for extensional protocols
- A qualitative theory of dynamic interactive belief revision
- A sound and complete axiomatization for dynamic topological logic
- Aggregated beliefs and informational cascades
- Automata for epistemic temporal logic with synchronous communication
- Automata techniques for epistemic protocol synthesis
- Bridges between dynamic doxastic and doxastic temporal logics
- Complete Axiomatizations for Reasoning about Knowledge and Time
- Complete axiomatizations for reasoning about knowledge and branching time
- Convergence, continuity and recurrence in dynamic epistemic logic
- Dynamic epistemic logic
- Dynamic topological logic of metric spaces
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
- Epistemic planning for single- and multi-agent systems
- Handbook of Spatial Logics
- Handbook of epistemic logic
- Hidden protocols: modifying our expectations in an evolving world
- Knowledge and common knowledge in a distributed environment
- Logical dynamics of belief change in the community
- Logical dynamics of information and interaction
- Logics for epistemic programs
- Logics of communication and change
- Merging DEL and ETL
- Merging frameworks for interaction
- Modal logic
- Modal logic for qualitative dynamics
- Model transformers for dynamical systems of dynamic epistemic logic
- Oscillations, logic, and dynamical systems
- Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
- Reasoning about information change
- Semantic results for ontic and epistemic change
- The complexity of reasoning about knowledge and time. I: Lower bounds
- The logic of public announcements, common knowledge, and private suspicions
- True lies
Cited in
(11)- Schematic Validity in Dynamic Epistemic Logic: Decidability
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
- A protocol-theoretic framework for the logic of epistemic norms
- A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes
- Agreement theorems in dynamic-epistemic logic
- Extending probabilistic dynamic epistemic logic
- Dynamic term-modal logics for first-order epistemic planning
- Symbolic Model Checking for Dynamic Epistemic Logic
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
This page was built for publication: Intensional protocols for dynamic epistemic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2295601)
