logic
Projects with this topic
-
A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic
Updated -
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Updated -
Engine for cDMN, a more expressive extension of Decision Model and Notation
Updated -
A multiplayer reaction game: train your mind and your reflexes while having fun!
Updated -
A simple logic game: find the best path to delete every number in a square space
Updated -
Updated
-
First Order Logic Learning Environment: accessible and fun way to sharpen logical reasoning skills.
Updated -
-
-
Updated
-
Implementation of Martelli-Montanari algorithm in Prolog.
UpdatedUpdated -
An educational web application to practice logical thinking by building simple games based on static screens and text choices.
Updated -
Interactive and multi-purpose DMN modeler and engine, powered by the IDP-Z3 system.
Updated -
-
A constructive logic proof checker
Updated -
Exercises, notes and code.
Esercizi, appunti e codice.
Updated -
Find intuitionistic counter-models for classical tautologies.
Updated -
An automated system for Tableaux methods.
Updated -
Implementation of components of a computer processor, written in hdl (output files also included as .cmp files).
Updated -
A class I followed about modelling and verifying a lock in UPPAAL.
Updated