Logics of rational interaction

DOI10.1007/978-94-007-0074-1_2MaRDI QIDQ2902939zbMATH OpenOpenAlexFDO

Authors Eric Pacuit, Barteld 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

dynamic epistemic logicrational interactiontemporal logic

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)

Recommendations

• Logics of informational attitudes and informative actions
• Dynamic epistemic logics
• Merging frameworks for interaction
• Logic, rational agency, and intelligent interaction
• Open problems in logical dynamics

Cites work

• A formal model of multi-agent belief-interaction
• A meeting of the minds: Proceedings of the workshop on logic, rationality and interaction, Beijing, 2007
• A qualitative theory of dynamic interactive belief revision
• Agency and deontic logic
• Agreeing to disagree
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Axioms for logics of knowledge and past time: synchrony and unique initial states
• Bridges between dynamic doxastic and doxastic temporal logics
• Changing Modalities
• Complete axiomatizations for reasoning about knowledge and branching time
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Conditional probability meets update logic
• Defaults in update semantics
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic epistemic logic with branching temporal structures
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Dynamic update with probabilities
• Expressivity and completeness for public update logics via reduction axioms
• Extending probabilistic dynamic epistemic logic
• From DEL to EDL: Exploring the Power of Converse Events
• Games in dynamic-epistemic logic
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Handbook of modal logic
• scientific article; zbMATH DE number 3137856 (Why is no real title available?)
• scientific article; zbMATH DE number 4135922 (Why is no real title available?)
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 1285156 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 1537935 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 873168 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3087284 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• Inference and update
• Interactive epistemology. I: Knowledge
• Interpreting an action from what we perceive and what we expect
• Introducing Justification into Epistemic Logic
• Knowledge in multiagent systems: initial configurations and broadcast
• Logics for epistemic programs
• Logics of communication and change
• Logics of public communications
• Memory and perfect recall in extensive games
• Merging frameworks for interaction
• Modal Fixed-Point Logic and Changing Models
• Model checking Russian cards
• Modeling adversaries in a logic for security protocol analysis
• Modeling belief in dynamic systems. I: Foundations
• Multiagent Systems
• On the logic of theory change: Partial meet contraction and revision functions
• Probabilistic dynamic epistemic logic
• Prolegomena to dynamic logic for belief revision
• Public communication in justification logic
• Reasoning about information change
• Reasoning about rational, but not logically omniscient, agents
• Reasoning with Justifications
• Resource-bounded reasoning about knowledge
• Semantic results for ontic and epistemic change
• Set-theoretic completeness for epistemic and conditional logic
• Social interaction, knowledge, and social software
• Some comments on history based structures
• Temporal languages for epistemic programs
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The Dynamics of Syntactic Knowledge
• The logic of knowledge based obligation
• The logic of public announcements, common knowledge, and private suspicions
• The power of paradox: some recent developments in interactive epistemology
• The Russian cards problem
• The secret of my success
• The surprise examination in dynamic epistemic logic
• The tree of knowledge in action: towards a common perspective
• The undecidability of iterated modal relativization
• Towards a Logic of Rational Agency
• Update semantics of security protocols
• Verifying time, memory and communication bounds in systems of reasoning agents
• What one may come to know

Cited in

(9)

• Endogenizing epistemic actions
• Logics of informational attitudes and informative actions
• A Semantical Approach to Equilibria and Rationality
• scientific article; zbMATH DE number 7444870 (Why is no real title available?)
• Logic, rational agency, and intelligent interaction
• scientific article; zbMATH DE number 7503176 (Why is no real title available?)
• Open problems in logical dynamics
• Merging DEL and ETL
• Dynamic logics of knowledge and access

This page was built for publication: Logics of rational interaction

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