Logics of Rational Interaction

DOI10.1007/978-94-007-0074-1_2zbMath1259.03011OpenAlexW2116955934MaRDI QIDQ2902939

Eric Pacuit, Barteld P. Kooi

Publication date: 23 August 2012

Published in: Dynamic Formal Epistemology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0074-1_2

zbMATH Keywords

temporal logicdynamic epistemic logicrational interaction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (4)

Merging DEL and ETL ⋮ Dynamic logics of knowledge and access ⋮ Unnamed Item ⋮ Endogenizing epistemic actions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prolegomena to dynamic logic for belief revision
• The secret of my success
• Logics of communication and change
• The power of paradox: some recent developments in interactive epistemology
• The surprise examination in dynamic epistemic logic
• Temporal languages for epistemic programs
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Dynamic update with probabilities
• Dynamic epistemic logic with branching temporal structures
• Extending probabilistic dynamic epistemic logic
• Inference and update
• Verifying time, memory and communication bounds in systems of reasoning agents
• Merging frameworks for interaction
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Agreeing to disagree
• Reasoning about information change
• Modeling belief in dynamic systems. I: Foundations
• Probabilistic dynamic epistemic logic
• Conditional probability meets update logic
• The Russian cards problem
• Complete axiomatizations for reasoning about knowledge and branching time
• Interactive epistemology. I: Knowledge
• Memory and perfect recall in extensive games
• Defaults in update semantics
• Set-theoretic completeness for epistemic and conditional logic
• Update semantics of security protocols
• Logics for epistemic programs
• Logics of public communications
• Some comments on history based structures
• The logic of knowledge based obligation
• The undecidability of iterated modal relativization
• Modeling Adversaries in a Logic for Security Protocol Analysis
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Public communication in justification logic
• Games in Dynamic-Epistemic Logic
• Introducing Justification into Epistemic Logic
• The Dynamics of Syntactic Knowledge
• From DEL to EDL: Exploring the Power of Converse Events
• Bridges between Dynamic Doxastic and Doxastic Temporal Logics
• Reasoning with Justifications
• Dynamic Epistemic Logic and Knowledge Puzzles
• Multiagent Systems
• Interpreting an action from what we perceive and what we expect
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Expressivity and completeness for public update logics via reduction axioms
• On the logic of theory change: Partial meet contraction and revision functions
• Reasoning about rational, but not logically omniscient, agents
• Towards a Logic of Rational Agency
• Complete Axiomatizations for Reasoning about Knowledge and Time
• What one may come to know
• Changing Modalities
• Social Interaction, Knowledge, and Social Software
• Modal Fixed-Point Logic and Changing Models
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Knowledge in multiagent systems
• A formal model of multi-agent belief-interaction

This page was built for publication: Logics of Rational Interaction