dynamic-logics

There are 1 repository under dynamic-logics topic.

LS-Lab / KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
hybrid-systems theorem-prover dynamic-logics dynamical-systems proof tactics mathematica differential-dynamic-logic differential-equations axiom cyber-physical-systems scala hybrid-games keymaera
Language:Scala 84
johnphantom / Dynamic-Stateless-Computer
Logic Geometry. Dynamic connections. Dynamic geometric logic, or logic through the changing shape of geometry. A truth table where truths change and is functional programming. Logic without measurements, where the changing shape is the only information.
logic computing quantum-computing quantum-mechanics turing-machine dynamic connections geometry counter-strike counter-strike-global-offensive counter-strike-source quake quake-engine half-life functional-programming dynamic-logics connectionism stateless entanglement
13
hintikkasworld / hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
logic logic-game modal-logic epistemic-logic dynamic-logics artificial-intelligence ijcai-18 agents
Language:TeX 12
LS-Lab / KeYmaera-release
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
hybrid-systems theorem-prover dynamic-logics dynamical-systems proof differential-dynamic-logic differential-equations cyber-physical-systems mathematica java
Language:Java 8
gsamorim / SocialDiffusionProj
SocialDiffusionProj
dynamic-logics dynamic-logic behavior d3js diffusion graphs logic
Language:JavaScript 0
lfmatosm / vmPDL
Verificador de modelos para programas em "Propositional Dynamic Logic" (PDL).
functional-programming dynamic-logics graph
Language:Racket