logic

Engine for cDMN, a more expressive extension of Decision Model and Notation

IDP3-IDE is an IDE based on webID for knowledge base system IDP3.

First Order Logic Learning Environment: accessible and fun way to sharpen logical reasoning skills.

An educational web application to practice logical thinking by building simple games based on static screens and text choices.

A class I followed about modelling and verifying a lock in UPPAAL.

A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.