A symbolic model checker for Dynamic Epistemic Logic.
-
Updated
May 23, 2024 - Haskell
A symbolic model checker for Dynamic Epistemic Logic.
Symbolic logic expressions
Propositional calculus in Haskell
An interpreter for Gödel's System T
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
Parser and pretty printer for the TPTP language
Haskell interface to automated theorem provers
Efficient On-the-Fly Model Checking for LTL and CTL★.
Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html
Lightweight formal verification system developed to support research on usability of automated proof verification tools.
Transformer of propositional logic expressions to CNF and DNF
An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.
Sistema certificado de decisión proposicional basado en polinomios.
a proof checker and model checker for minimal propositional logic
Expressions and Formulæ à la carte
Modal Tableau with Interpolation in Haskell
Lógica de primer orden en Haskell literario
Simple proof assistant for classical and intuitionistic G3-style sequent calculi
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."