Reasoning about Protocol Change and Knowledge
From MaRDI portal
Publication:3063980
DOI10.1007/978-3-642-18026-2_16zbMath1303.03045OpenAlexW1488840000MaRDI QIDQ3063980
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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Automata and formal grammars in connection with logical questions (03D05) Rationality and learning in game theory (91A26) Mathematical sociology (including anthropology) (91D99)
Related Items (3)
Unnamed Item ⋮ An omniscience-free temporal logic of knowledge for verifying authentication protocols ⋮ Hidden protocols: modifying our expectations in an evolving world
This page was built for publication: Reasoning about Protocol Change and Knowledge
