Formal semantics of a dynamic epistemic logic for describing knowledge properties of -calculus processes
DOI10.1007/978-3-642-14977-1_8zbMATH Open1286.68414OpenAlexW1557902250MaRDI QIDQ3582736FDOQ3582736
Eric Ufferman, Francisco Hernández-Quiroz, Pedro Arturo 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
Recommendations
- A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes
- A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
- Observing Distributed Computation. A Dynamic-Epistemic Approach
- Dynamic epistemic logic with communication actions
- Spatial and epistemic modalities in constraint-based process calculi
Cryptography (94A60) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Logics of communication and change
- Dynamic Epistemic Logic and Knowledge Puzzles
- Title not available (Why is that?)
- Modal logics for mobile processes
- The dining cryptographers problem: Unconditional sender and recipient untraceability
- The \(\pi\)-calculus: A theory of mobile processes
- Merging frameworks for interaction
- Observing Distributed Computation. A Dynamic-Epistemic Approach
- A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes
Cited In (3)
This page was built for publication: Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582736)
