Refinement of Kripke Models for Dynamics

DOI10.1007/978-3-540-85762-4_8MaRDI QIDQ5505597zbMATH OpenOpenAlexFDO

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

• A logic of authentication
• Algebraic Methodology and Software Technology
• Dynamic epistemic logic
• 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?)
• 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
• Automatic data-abstraction in model checking multi-agent systems
• Logics of Kripke meta-models
• To know or not to know: Epistemic approaches to security protocol verification

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)