Combining Epistemic Logic and Hennessy-Milner Logic

DOI10.1007/978-3-642-29485-3_14zbMath1354.68255OpenAlexW1830646994MaRDI QIDQ2897954

Radu Mardare, Sophia Knight, Prakash Panangaden

Publication date: 16 July 2012

Published in: Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combined logics (03B62)

Related Items (1)

Trace Equivalence and Epistemic Logic to Express Security Properties

This page was built for publication: Combining Epistemic Logic and Hennessy-Milner Logic