DEL Model Checker

Gravity: Formal Legitimacy Logic A conflict-aware, audit-grade decision framework using Belnap’s four-valued logic (T, F, N, B). It evaluates legitimacy while preserving epistemic uncertainty and conflict instead of forcing false certainty. Features full replay certificates for perfect auditability and a simple external contract

An epistemic firewall for intelligence analysis. Implements "Loop 1.5" of the Sledgehammer Protocol to mathematically weigh evidence tiers (T1 Peer Review vs. T4 Opinion) and annihilate weak claims via time-decay algorithms.

A source-sensitive epistemic reasoning engine inspired by Nyāya philosophy , implements pramāṇa-aware knowledge mapping, confidence-weighted belief formation, Vyāpti-based inference learning, fallacy detection (hetvābhāsa), and non-monotonic belief revision for transparent, auditable AI reasoning

2021 Project for Logical Aspects of Multi-Agent Systems

Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem

Episteme is a persistent epistemic reasoning system with non-monotonic logic, explicit conflict detection, belief revision, and quantitative belief lifecycle management layered on top of symbolic inference.

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

Wu is a media forensics toolkit with special support for Legal teams.

Master mind Board Game implemented in Python

Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

Model Checker with Coalition Announcement Logic

A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.

Quantum weirdness is the felt contradiction that arises when behavior-first/inference-based math is explained using identity-first/entity-based language

Theorem of the Unnameable [⧉/⧉ₛ] — Epistemological framework for binary information classification (Fixed Point/Fluctuating Point). Application to LLMs via 3-6-9 anti-loop matrix. Empirical validation: 5 models, 73% savings, zero hallucination on marked zones.

Semantic substrate for programming languages

A tableau-based satisfiability checker for CMAEL(CD) — Complete Multiagent Epistemic Logic with Common and Distributed knowledge

The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022

A Kripke structure modelling framework