kripke-model

There are 0 repository under kripke-model topic.

• Sintrastes / Montague

  A library for non-deterministically parsing natural language expressions into a structured form.

  kripke-modellogic-programmingnlpparsing
  Language:Haskell 15

• hrb90 / kripke

  Kripke semantics

  formal-logicintuitionistic-logickripke-modelmodal-logicsemantics
  Language:PureScript 4