Constructive Game Logic

DOI10.1007/978-3-030-44914-8_4OpenAlexW3101136070MaRDI QIDQ5041088

André Platzer, Rose Bohrer

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

zbMATH Keywords

natural deductionconstructive logicgame logicproof terms

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Constructive hybrid games

Uses Software

• Unnamed Item
• ModelPlex

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