Refinement of Kripke Models for Dynamics
From MaRDI portal
Publication:5505597
Recommendations
- Refinement modal logic
- Refinement quantified logics of knowledge and belief for multiple agents
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- A general framework for modal correspondence in dynamic epistemic logic
- On axiomatizations of public announcement logic
Cites work
- scientific article; zbMATH DE number 1693039 (Why is no real title available?)
- scientific article; zbMATH DE number 2087624 (Why is no real title available?)
- scientific article; zbMATH DE number 1903350 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- A logic of authentication
- Algebraic Methodology and Software Technology
- Dynamic epistemic logic
- Logics for epistemic programs
- Logics of communication and change
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Update semantics of security protocols
Cited in
(4)
This page was built for publication: Refinement of Kripke Models for Dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505597)