Uniform Substitution for Differential Game Logic

DOI10.1007/978-3-319-94205-6_15zbMath1508.03044arXiv1804.05880MaRDI QIDQ6300415

André Platzer

Publication date: 16 April 2018

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)

This page was built for publication: Uniform Substitution for Differential Game Logic