#

dynamic-logic

Here are 2 public repositories matching this topic...

m4lvin / lean4-pdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)

interpolation modal-logic dynamic-logic

Updated Nov 11, 2024
Lean

gsamorim / SocialDiffusionProj

SocialDiffusionProj

behavior graphs logic d3js diffusion dynamic-logics dynamic-logic

Updated Aug 22, 2022
JavaScript

Improve this page

Add a description, image, and links to the dynamic-logic 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-logic topic, visit your repo's landing page and select "manage topics."