Reasoning with protocols under imperfect information

DOI10.1017/S1755020311000190MaRDI QIDQ3096821zbMATH OpenOpenAlexFDO

Authors 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

dynamic epistemic logicdynamic logicepistemic temporal logiclogic of knowledge and beliefmodal logicrational agency

Mathematics Subject Classification ID

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

Recommendations

• A logic for extensional protocols
• Hidden protocols: modifying our expectations in an evolving world
• Reasoning about protocol change and knowledge
• Information based reasoning about security protocols
• Propositional dynamic logic for reasoning about first-class agent interaction protocols

Cites work

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

Cited in

(12)

• Interpreting logics of knowledge in propositional dynamic logic
• A protocol-theoretic framework for the logic of epistemic norms
• A logic for extensional protocols
• Reasoning about protocol change and knowledge
• Propositional dynamic logic for reasoning about first-class agent interaction protocols
• Frame theory, dependence logic and strategies
• Reasoning with an Incomplete Information Exchange Policy
• Hidden protocols: modifying our expectations in an evolving world
• Automata techniques for epistemic protocol synthesis
• Knowledge transfer and information leakage in protocols
• Temporal Aspects of the Dynamics of Knowledge
• The logic of joint ability in two-player tacit games

This page was built for publication: Reasoning with protocols under imperfect information

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