Publication:2904070

zbMath1247.68193MaRDI QIDQ2904070

Eric Ufferman, Francisco Hernández-Quiroz, Pedro A. Góngora

Publication date: 5 August 2012

zbMATH Keywords

\(\pi\)-calculus; proof system; dynamic epistemic logic; action structures

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68T42: Agent technology and artificial intelligence

Related Items

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes