Uniform substitution for differential game logic

DOI10.1007/978-3-319-94205-6_15OpenAlexW3101944344MaRDI QIDQ1799081

André Platzer

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/1804.05880

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Constructive Game Logic ⋮ Uniform substitution at one Fell swoop ⋮ Constructive hybrid games

Uses Software

• KeYmaera
• Differential_Game_Logic

This page was built for publication: Uniform substitution for differential game logic