Semantic substrate for programming languages
A tableau-based satisfiability checker for CMAEL(CD) — Complete Multiagent Epistemic Logic with Common and Distributed knowledge
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
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.
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.
deep (Dynamic Epistemic logic-basEd Planner) is a multi-agent epistemic planner that operates over the full scope of mA*, leveraging optimized search algorithms and heuristics.
Wu is a media forensics toolkit with special support for Legal teams.
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.
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
A symbolic model checker for Dynamic Epistemic Logic.
A stateful AI agent framework powered by the Cognitive Lattice to solve complex tasks with persistent memory and reliable tool orchestration.
🗣️📞 Gossip Model Checking
MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
Testing Theory of Mind (ToM) in language models with epistemic logic
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
A complete epistemic planner without the epistemic closed world assumption
Add a description, image, and links to the epistemic-logic topic page so that developers can more easily learn about it.
To associate your repository with the epistemic-logic topic, visit your repo's landing page and select "manage topics."