#

dynamic-logics

Here are 6 public repositories matching this topic...

LS-Lab / KeYmaeraX-release

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 3, 2025
Scala

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.

functional-programming geometry dynamic counter-strike logic quantum-mechanics stateless quantum-computing quake half-life turing-machine connections computing quake-engine entanglement connectionism counter-strike-source counter-strike-global-offensive dynamic-logics

Updated Oct 8, 2025

hintikkasworld / hintikkasworld

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

logic artificial-intelligence agents modal-logic epistemic-logic logic-game dynamic-logics ijcai-18

Updated Oct 11, 2023
TeX

LS-Lab / KeYmaera-release

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

gsamorim / SocialDiffusionProj

SocialDiffusionProj

behavior graphs logic d3js diffusion dynamic-logics dynamic-logic

Updated Aug 22, 2022
JavaScript

lfmatosm / vmPDL

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."