Moving Arrows and Four Model Checking Results
From MaRDI portal
Publication:2915023
DOI10.1007/978-3-642-32621-9_11zbMath1361.68131OpenAlexW69058103MaRDI QIDQ2915023
Raul Fervari, Guillaume Hoffmann, Carlos Areces
Publication date: 21 September 2012
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32621-9_11
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (13)
On Composing Finite Forests with Modal Logics ⋮ Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ On the subtle nature of a simple logic of the hide and seek game ⋮ A modal logic for supervised learning ⋮ The modal logic of copy and remove ⋮ To be announced ⋮ A simple logic of the hide and seek game ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Introspection as an action in relational models ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Copy and remove as dynamic operators
This page was built for publication: Moving Arrows and Four Model Checking Results
