logic

A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

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

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

Logic node pack for Koui and Armory3D.

Interactive and multi-purpose DMN modeler and engine, powered by the IDP-Z3 system.

Projetos Digitais - UFPR

Find intuitionistic counter-models for classical tautologies.

An automated system for Tableaux methods.