Some comments on history based structures

DOI10.1016/J.JAL.2006.03.012MaRDI QIDQ2475431zbMATH OpenOpenAlexFDO

Authors 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 logichistory based structuresinterpreted systems

Mathematics Subject Classification ID

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

Recommendations

• A history based logic for dynamic preference updates
• Dynamic interactive epistemology
• Extensive games as process models
• Interactive epistemology. I: Knowledge
• An epistemic logic of extensive games

Cites work

• A course in game theory.
• A knowledge based semantics of messages
• Axioms for logics of knowledge and past time: synchrony and unique initial states
• Complete axiomatizations for reasoning about knowledge and branching time
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Extensive games as process models
• Games in dynamic-epistemic logic
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1015852 (Why is no real title available?)
• scientific article; zbMATH DE number 2063025 (Why is no real title available?)
• scientific article; zbMATH DE number 1536552 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Interactive epistemology. I: Knowledge
• Levels of knowledge in distributed systems.
• Programming and Verifying Subgame-Perfect Mechanisms
• Social software
• The Blackwell guide to philosophical logic
• The complexity of reasoning about knowledge and time. I: Lower bounds

Cited in

(12)

• Introspective forgetting
• Merging frameworks for interaction
• Modeling reasoning in a social setting
• A history based logic for dynamic preference updates
• Logics of rational interaction
• Exploring the power of converse events
• The category of node-and-choice forms, with subcategories for choice-sequence forms and choice-set forms
• Iterated Belief Revision in the Face of Uncertain Communication
• Temporal Aspects of the Dynamics of Knowledge
• Some Complementary History and Results
• Preface to the special issue: Temporal logics of agency
• Efficient analysis of belief properties in process algebra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2475431)