REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION

DOI10.1017/S1755020311000190zbMath1250.03037OpenAlexW2165360331MaRDI QIDQ3096821

Eric Pacuit, Sunil Simon

Publication date: 14 November 2011

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020311000190

zbMATH Keywords

modal logicdynamic logicdynamic epistemic logicepistemic temporal logicrational agencylogic of knowledge and belief

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (5)

A logic for extensional protocols ⋮ Frame Theory, Dependence Logic and Strategies ⋮ THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ Temporal Aspects of the Dynamics of Knowledge

Cites Work

• Unnamed Item
• On the axiomatisation of Elgesem's logic of agency and ability
• A logic of intention and attempt
• Alternative axiomatics and complexity of deliberative STIT theories
• On combinations of propositional dynamic logic and doxastic modal logics
• Propositional knowledge and know-how
• Merging frameworks for interaction
• Extensional equivalences for transition systems
• An elementary proof of the completeness of PDL
• Modelling knowledge and action in distributed systems
• A knowledge based semantics of messages
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Extensive games as process models
• Ability and knowing how in the situation calculus
• A logical approach to the dynamics of commitments
• Intention is choice with commitment
• Games in Dynamic-Epistemic Logic
• Logical Dynamics of Information and Interaction
• Knowledge and common knowledge in a distributed environment
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Constructive knowledge: what agents can achieve under imperfect information
• Concurrent dynamic logic
• Towards a Logic of Rational Agency
• Complete Axiomatizations for Reasoning about Knowledge and Time

This page was built for publication: REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION