Some comments on history based structures

DOI10.1016/j.jal.2006.03.012zbMath1138.03028OpenAlexW2171968628MaRDI QIDQ2475431

Eric Pacuit

Publication date: 11 March 2008

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

Full work available at URL: https://doi.org/10.1016/j.jal.2006.03.012

zbMATH Keywords

epistemic temporal logicinterpreted systemshistory based structures

Mathematics Subject Classification ID

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

Related Items (10)

Logics of Rational Interaction ⋮ Exploring the Power of Converse Events ⋮ Preface to the special issue: Temporal logics of agency ⋮ A history based logic for dynamic preference updates ⋮ The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms ⋮ Modeling reasoning in a social setting ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ Introspective forgetting ⋮ Merging frameworks for interaction ⋮ Temporal Aspects of the Dynamics of Knowledge

Cites Work

• The complexity of reasoning about knowledge and time. I: Lower bounds
• A knowledge based semantics of messages
• Complete axiomatizations for reasoning about knowledge and branching time
• Extensive games as process models
• Interactive epistemology. I: Knowledge
• Social software
• Programming and Verifying Subgame-Perfect Mechanisms
• Games in Dynamic-Epistemic Logic
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Levels of knowledge in distributed systems.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some comments on history based structures