Refinement of Kripke Models for Dynamics

DOI10.1007/978-3-540-85762-4_8zbMATH Open1161.68616OpenAlexW2148725542MaRDI QIDQ5505597FDOQ5505597

Authors Francien Dechesne, Simona Orzan, Yanjing Wang 

Publication date 27 January 2009

Published in Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/12691

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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)

• Refinement quantified logics of knowledge
• To know or not to know: Epistemic approaches to security protocol verification
• Logics of Kripke meta-models
• Automatic data-abstraction in model checking multi-agent systems

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)