dynamic-logic

There are 0 repository under dynamic-logic topic.

• m4lvin / lean4-pdl

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

  dynamic-logicinterpolationmodal-logiclean4
  Language:Lean 14

• gsamorim / SocialDiffusionProj

  SocialDiffusionProj

  dynamic-logicsdynamic-logicbehaviord3jsdiffusiongraphslogic
  Language:JavaScript 0