FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5191527
DOI10.1007/b94618zbMath1205.68222OpenAlexW2246750081MaRDI QIDQ5191527
Christof Löding, Philipp Rohde
Publication date: 6 August 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94618
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (17)
\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ Computation as social agency: what, how and who ⋮ Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ The modal logic of copy and remove ⋮ Separation logics and modalities: a survey ⋮ A simple logic of the hide and seek game ⋮ Reasoning About Substructures and Games ⋮ On the almighty wand ⋮ Moving in a network under random failures: a complexity analysis ⋮ Unnamed Item ⋮ On the Almighty Wand ⋮ Model checking properties on reduced trace systems ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Branching-Time Temporal Logics with Minimal Model Quantifiers ⋮ Global and Local Graph Modifiers ⋮ Copy and remove as dynamic operators ⋮ A Game Theoretic Approach to the Analysis of Dynamic Networks
This page was built for publication: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science