KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

I propose a new form of logic; Logic Geometry. Dynamic connections, or dynamic geometric logic, or logic through the changing shape of geometry, like a truth table that the truths change and is essentially functional programming, but is logic without values or measurements, where the changing shape is the only information.

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

SocialDiffusionProj

Verificador de modelos para programas em "Propositional Dynamic Logic" (PDL).