Reasoning about protocol change and knowledge

DOI10.1007/978-3-642-18026-2_16MaRDI QIDQ3063980zbMATH OpenOpenAlexFDO

Authors Yanjing Wang

Publication date 17 December 2010

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18026-2_16

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Automata and formal grammars in connection with logical questions (03D05) Logic in artificial intelligence (68T27) Rationality and learning in game theory (91A26) Mathematical sociology (including anthropology) (91D99)

Recommendations

• Hidden protocols: modifying our expectations in an evolving world
• Reasoning with protocols under imperfect information
• A logic for extensional protocols
• Knowledge and local actions
• Challenges for decidable epistemic logics from security protocols

Cited in

(5)

• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Reasoning with protocols under imperfect information
• Hidden protocols: modifying our expectations in an evolving world
• How to agree without understanding each other: public announcement logic with Boolean definitions
• Challenges for decidable epistemic logics from security protocols

This page was built for publication: Reasoning about protocol change and knowledge

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