Uniform substitution at one Fell swoop

DOI10.1007/978-3-030-29436-6_25OpenAlexW2969246315MaRDI QIDQ2305431

André Platzer

Publication date: 10 March 2020

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Uniform substitution at one Fell swoop

Uses Software

• KeYmaera
• KeY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Substitutions for predicate variables and functional variables
• A complete uniform substitution calculus for differential dynamic logic
• Uniform substitution for differential game logic
• Uniform substitution at one Fell swoop
• Playing Hybrid Games with KeYmaera
• KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
• Cauchy Problems for Certain Isaacs-Bellman Equations and Games of Survival
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Differential Game Logic
• Differential Hybrid Games
• Banishing the rule of substitution for functional variables

This page was built for publication: Uniform substitution at one Fell swoop