#
kripke
Here are 6 public repositories matching this topic...
Semantic Tableaux for simple PL.
-
Updated
Oct 19, 2020 - Haskell
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
golang bdd ltl temporal-logic sat-solver propositional-logic smt kripke formal-verification fuzzy-logic anfis off-heap modal-logic inference-engine boolean-logic cdcl parity-games logical-reasoning bisimulation ltl-model-checking
-
Updated
Jul 22, 2026 - Go
Um estudo sobre Filosofia da Lógica; Overview do método de Newton da Costa, Gödel, Morgan, Dummett, Frege, Leibniz, Peirce, Orman Quine, Ludwig Wittgenstein
temporal-logic propositional-logic kripke fuzzy-logic modal-logic epistemic-logic deontic-logic epistemic paraconsistent doxastic
-
Updated
Apr 18, 2023
Model Checker CTL (simple) en Java, que j'ai réalisé en M2 Informatique parcours Programmation et Logiciels Sûrs
java parser automata model automate informatique model-checking ctl kripke model-checker checking modelchecking automata-theory kripke-structure kripke-model
-
Updated
May 22, 2025 - Java
Add this topic to your repo
To associate your repository with the kripke topic, visit your repo's landing page and select "manage topics."