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

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

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)

Cites Work

• Logics of communication and change
• Logics for epistemic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• A logic of authentication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Update semantics of security protocols
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Algebraic Methodology and Software Technology

Cited In (3)

• 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)