Constructive Game Logic
From MaRDI portal
Publication:5041088
DOI10.1007/978-3-030-44914-8_4OpenAlexW3101136070MaRDI QIDQ5041088
Publication date: 13 October 2022
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.08523
Applications of game theory (91A80) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Presheaf semantics and independence results for some non-classical first- order logics
- Dynamic logics of evidence-based beliefs
- ModelPlex: verified runtime validation of verified cyber-physical system models
- Constructive modal logics. I
- Combinatory logic. With two sections by William Craig.
- Techniques of constructive analysis
- Models of strategic reasoning. Logics, games, and communities
- The calculus of constructions
- Game logic -- an overview
- The basic algebra of game equivalences
- A propositional dynamic logic for instantial neighborhood models
- A complete uniform substitution calculus for differential dynamic logic
- Uniform substitution for differential game logic
- Full abstraction for PCF
- Toward a theory of play: a logical perspective on games and interaction
- Tableaux for constructive concurrent dynamic logic
- A proof-theoretic semantic analysis of dynamic epistemic logic
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
- Games in Dynamic-Epistemic Logic
- Alternating-time temporal logic
- Strategy Logic
- Concurrent dynamic logic
- A Modal Logic for Coalitional Power in Games
- A theory of classes: proofs and models
- The intuitionistic temporal logic of dynamical systems
- A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
- Differential Game Logic
- The Picard Algorithm for Ordinary Differential Equations in Coq
- The generalised type-theoretic interpretation of constructive set theory
- An axiomatic basis for computer programming
- Definability and decision problems in arithmetic
- Realizability: a historical essay
This page was built for publication: Constructive Game Logic
