Logics of Rational Interaction
From MaRDI portal
Publication:2902939
DOI10.1007/978-94-007-0074-1_2zbMath1259.03011OpenAlexW2116955934MaRDI QIDQ2902939
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
Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)
Related Items
Merging DEL and ETL ⋮ Dynamic logics of knowledge and access ⋮ Unnamed Item ⋮ Endogenizing epistemic actions
Cites Work
- 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
- 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
