Refining constructive hybrid games

DOI10.4230/LIPICS.FSCD.2020.14MaRDI QIDQ6854421zbMATH OpenFDO

Authors Rose Bohrer, André Platzer

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.14

zbMATH Keywords

constructive logicrefinementgame logichybrid games

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 65751 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 6287623 (Why is no real title available?)
• scientific article; zbMATH DE number 5230436 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 4189687 (Why is no real title available?)
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A fragment of intuitionistic dynamic logic
• Alternating-time temporal logic
• Completeness for game logic
• Constructive game logic
• Constructive hybrid games
• Constructive modal logics. I
• Differential Hybrid Games
• Differential Refinement Logic
• Differential dynamic logic for hybrid systems
• Differential equation invariance axiomatization
• Differential game logic
• Dynamic logics of evidence-based beliefs
• Full abstraction for PCF
• Games in dynamic-epistemic logic
• Hoare type theory, polymorphism and separation
• Inductive families
• Logical foundations of cyber-physical systems
• Mathematical Knowledge Management
• ModelPlex: verified runtime validation of verified cyber-physical system models
• Modeling in Event B. System and software engineering.
• Models of strategic reasoning. Logics, games, and communities
• Realizability: a historical essay
• Refinement Calculus
• Refining constructive hybrid games
• Results on the propositional \(\mu\)-calculus
• Strategy Logic
• Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
• Tableaux for constructive concurrent dynamic logic
• Temporal logic motion planning for dynamic robots
• The Picard Algorithm for Ordinary Differential Equations in Coq
• The basic algebra of game equivalences
• The calculus of constructions
• The structure of differential invariants and differential cut elimination
• Toward a theory of play: a logical perspective on games and interaction

Cited in

(1)

• Refining constructive hybrid games

This page was built for publication: Refining constructive hybrid games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6854421)