REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
From MaRDI portal
Publication:3096821
DOI10.1017/S1755020311000190zbMath1250.03037MaRDI QIDQ3096821
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
modal logic; dynamic logic; dynamic epistemic logic; epistemic temporal logic; rational agency; logic of knowledge and belief
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03B44: Temporal logic
Related Items
Temporal Aspects of the Dynamics of Knowledge, THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES, Hidden protocols: modifying our expectations in an evolving world, A logic for extensional protocols, Frame Theory, Dependence Logic and Strategies
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
