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

DOI10.1007/978-3-642-14977-1_8zbMath1286.68414OpenAlexW1557902250MaRDI QIDQ3582736

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

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14977-1_8

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cryptography (94A60) Logics of knowledge and belief (including belief change) (03B42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Cites Work

• Modal logics for mobile processes
• Logics of communication and change
• Merging frameworks for interaction
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dynamic Epistemic Logic and Knowledge Puzzles
• Observing Distributed Computation. A Dynamic-Epistemic Approach
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes