#

dynamic-logics

Here are 4 public repositories matching this topic...

LS-Lab / KeYmaeraX-release

Star

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

scala proof mathematica tactics dynamical-systems differential-equations hybrid-systems theorem-prover axiom cyber-physical-systems dynamic-logics differential-dynamic-logic keymaera hybrid-games

Updated Jul 1, 2020
Scala

LS-Lab / KeYmaera-release

Star

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

java proof mathematica dynamical-systems differential-equations hybrid-systems theorem-prover cyber-physical-systems dynamic-logics differential-dynamic-logic

Updated Dec 15, 2014
Java

hintikkasworld / hintikkasworld

Star

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

logic modal-logic epistemic-logic logic-game dynamic-logics

Updated Jun 30, 2020
TeX

lffloyd / vmPDL

Star

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

functional-programming graph dynamic-logics

Updated Nov 9, 2018
Racket

Improve this page

Add a description, image, and links to the dynamic-logics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dynamic-logics topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.