kripke

There are 0 repository under kripke topic.

alexandru-dinu / semantic-tableaux
Semantic Tableaux for simple PL.
semantic-tableau knowledge-base adt kripke
Language:Haskell 4
emmanuel-h / veritaf
CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson
ctl ltl veritaf solver peterson kripke
3
iahmedbacha / ctl-model-checker
CTL model checker.
ctl model checker kripke antlr4
Language:Java 3
Isabelle778 / LogicPhilosophyWorkspace
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
epistemic-logic kripke doxastic deontic-logic epistemic temporal-logic modal-logic propositional-logic fuzzy-logic paraconsistent
1
danielbal21 / BMC_Path_Planning
Solve grid-based pathfinding challenges efficiently. Our tool transforms grids into SAT problems using Kripke Structures and Boolean formulas, ensuring step-by-step validity while avoiding collisions. Simplify navigation in dynamic environments with central and dynamic agents.
automata-theory bmc kripke pathfinding pathplanning sat z3 hyper-properties
Language:Python

alexandru-dinu / semantic-tableaux