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 72
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
johnphantom / Dynamic-Stateless-Computer
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 mathematics, 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
11
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
lfmatosm / vmPDL
Verificador de modelos para programas em "Propositional Dynamic Logic" (PDL).
functional-programming dynamic-logics graph
Language:Racket