Merging frameworks for interaction

DOI10.1007/s10992-008-9099-xzbMath1185.03019OpenAlexW2039352370MaRDI QIDQ1037376

Tomohiro Hoshi, Jelle Gerbrandy, Eric Pacuit, J. F. A. K. van Benthem

Publication date: 16 November 2009

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.7597

zbMATH Keywords

dynamic epistemic logicpublic announcement logicepistemic temporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (73)

The information in intuitionistic logic ⋮ Composing models ⋮ A logic for extensional protocols ⋮ Logics of Rational Interaction ⋮ Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic ⋮ Computation as social agency: what, how and who ⋮ Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles ⋮ Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Social bot detection as a temporal logic model checking problem ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ Efficient Program Transformers for Translating LCC to PDL ⋮ A closeness- and priority-based logical study of social network creation ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Merging DEL and ETL ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ Combinations of stit and actions ⋮ Preface to the special issue: Temporal logics of agency ⋮ Communication pattern logic: epistemic and topological views ⋮ Epistemic planning: perspectives on the special issue ⋮ A logical study of group-size based social network creation ⋮ A separation logic with histories of epistemic actions as resources ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ The language of social software ⋮ Dynamic logics of knowledge and access ⋮ Inexact knowledge and dynamic introspection ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ Action models in inquisitive logic ⋮ Logic for update products and steps into the past ⋮ A history based logic for dynamic preference updates ⋮ Unnamed Item ⋮ Reverse public announcement operators on expanded models ⋮ DEL-based epistemic planning: decidability and complexity ⋮ Book review of: Johan van Benthem, Logical dynamics of information and interaction ⋮ Reasoning about permitted announcements ⋮ On axiomatizations of public announcement logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ A Dynamic Logic of Interrogative Inquiry ⋮ Logics of temporal-epistemic actions ⋮ Toward a dynamic logic of questions ⋮ Actions as events ⋮ Natural language and logic of agency ⋮ What will they say? -- Public announcement games ⋮ Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes ⋮ Finite identification from the viewpoint of epistemic update ⋮ Revocable belief revision ⋮ Modeling reasoning in a social setting ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Decisions, Actions, and Games: A Logical Perspective ⋮ Opaque updates ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Diversity of agents and their interaction ⋮ Intensional protocols for dynamic epistemic logic ⋮ Knowledge and Local Actions ⋮ Announcement as effort on topological spaces ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling ⋮ Endogenizing epistemic actions ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ On Revocable and Irrevocable Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Dynamic update with probabilities ⋮ Dynamic epistemic logic with branching temporal structures ⋮ Merging frameworks for interaction ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Learning ⋮ Logic and Game Theory ⋮ Logic and Complexity in Cognitive Science ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Toward a theory of play: a logical perspective on games and interaction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Temporal languages for epistemic programs
• Merging frameworks for interaction
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A knowledge based semantics of messages
• Memory and perfect recall in extensive games
• Logics for epistemic programs
• Modal frame correspondences and fixed-points
• Logics of public communications
• The cognitive structure of surprise: looking for basic principles
• Some comments on history based structures
• The undecidability of iterated modal relativization
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Games in Dynamic-Epistemic Logic
• Propositional Dynamic Logic as a Logic of Belief Revision
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Communication strategies in games
• Games and full completeness for multiplicative linear logic
• Complete Axiomatizations for Reasoning about Knowledge and Time

This page was built for publication: Merging frameworks for interaction