3,309 followers
From Syntactic Proofs to Combinatorial Proofs https://t.co/GfMe3DmK1z
From Syntactic Proofs to Combinatorial Proofs https://t.co/GfMe3DmK1z
Uniform Substitution for Differential Game Logic https://t.co/wOXmYHa6eX
RT @DO: Uniform Substitution for Differential Game Logic. https://t.co/4UwyGdFajY
Uniform Substitution for Differential Game Logic. (arXiv:1804.05880v1 [cs.LO]) https://t.co/7HnpDvXcwP This paper presents a uniform substitution calculus for differential game logic (dGL). Church's uniform substitutions substitute a term or formula for a