Mechanizing Mathematical Reasoning
From MaRDI portal
Publication:5717444
DOI10.1007/b106663zbMath1098.68632OpenAlexW2484955858MaRDI QIDQ5717444
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106663
Programming involving graphs or networks (90C35) Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Graph theory (including graph drawing) in computer science (68R10) Transportation, logistics and supply chain management (90B06) Modal logic (including the logic of norms) (03B45)
Related Items (34)
\(\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 STEPWISE REMOVAL ⋮ The modal logic of copy and remove ⋮ Connectivity games over dynamic networks ⋮ Separation logics and modalities: a survey ⋮ To be announced ⋮ A simple logic of the hide and seek game ⋮ Introducing reactive Kripke semantics and arc accessibility ⋮ Global view on reactivity: switch graphs and their logics ⋮ Reasoning About Substructures and Games ⋮ On the almighty wand ⋮ Relation-changing models meet paraconsistency ⋮ Expressive Power and Decidability for Memory Logics ⋮ Modal logics and local quantifiers: a zoo in the elementary hierarchy ⋮ Moving in a network under random failures: a complexity analysis ⋮ Unnamed Item ⋮ A history based logic for dynamic preference updates ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Refinement modal logic ⋮ Model checking properties on reduced trace systems ⋮ Introspection as an action in relational models ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ On sabotage games ⋮ Introducing Reactive Kripke Semantics and Arc Accessibility ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Synthesizing Optimally Resilient Controllers ⋮ Synthesizing optimally resilient controllers ⋮ Global and Local Graph Modifiers ⋮ Introducing fuzzy reactive graphs: a simple application on biology ⋮ Copy and remove as dynamic operators ⋮ A Game Theoretic Approach to the Analysis of Dynamic Networks
This page was built for publication: Mechanizing Mathematical Reasoning
