Intensional protocols for dynamic epistemic logic

DOI10.1007/S10992-019-09508-WzbMATH Open1457.03036OpenAlexW2947848530WikidataQ127802563 ScholiaQ127802563MaRDI QIDQ2295601FDOQ2295601

Authors: Hanna S. van Lee, Rasmus K. Rendsvig, Suzanne van Wijk 

Publication date: 14 February 2020

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-019-09508-w

Recommendations

• A logic for extensional protocols
• Merging frameworks for interaction
• Dynamic epistemic preferential logic of action
• scientific article; zbMATH DE number 1537935
• Propositional dynamic logic for reasoning about first-class agent interaction protocols

zbMATH Keywords

dynamical systemsmulti-agent systemsdynamic epistemic logicprotocolsepistemic temporal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Cites Work

• Reasoning about information change
• True lies
• Modal logic
• Epistemic planning for single- and multi-agent systems
• The logic of public announcements, common knowledge, and private suspicions
• Hidden protocols: modifying our expectations in an evolving world
• Logics of communication and change
• Logics for epistemic programs
• Logical dynamics of information and interaction
• A course in game theory.
• A qualitative theory of dynamic interactive belief revision
• Title not available (Why is that?)
• Dynamic epistemic logic
• Handbook of Spatial Logics
• Knowledge and common knowledge in a distributed environment
• Merging frameworks for interaction
• A knowledge based semantics of messages
• Bridges between dynamic doxastic and doxastic temporal logics
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Title not available (Why is that?)
• Complete Axiomatizations for Reasoning about Knowledge and Time
• A logic for extensional protocols
• Logical dynamics of belief change in the community
• Automata techniques for epistemic protocol synthesis
• Aggregated beliefs and informational cascades
• A sound and complete axiomatization for dynamic topological logic
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
• Merging DEL and ETL
• Complete axiomatizations for reasoning about knowledge and branching time
• Automata for epistemic temporal logic with synchronous communication
• Semantic results for ontic and epistemic change
• Modal logic for qualitative dynamics
• Dynamic topological logic of metric spaces
• Oscillations, logic, and dynamical systems
• Handbook of epistemic logic
• Convergence, continuity and recurrence in dynamic epistemic logic
• Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
• Title not available (Why is that?)
• Model transformers for dynamical systems of dynamic epistemic logic

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)