https://github.com/rkirsling/modallogic

Modal Logic Playground

directed-graph modal-logic semantics

Last synced: 06 Apr 2025

https://github.com/aclai-lab/solelogics.jl

Computational logic in Julia!

logic modal-logic symbolic-learning

Last synced: 05 Apr 2025

https://github.com/distributedcomponents/infseqext

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

coq coq-library ltl modal-logic proof temporal-logic

Last synced: 01 Dec 2024

https://github.com/m4lvin/lean4-pdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)

dynamic-logic interpolation modal-logic

Last synced: 24 Mar 2025

https://github.com/sileod/llm-theory-of-mind

Testing Theory of Mind (ToM) in language models with epistemic logic

chatgpt dataset english epistemic-logic epistemic-reasoning gpt-4 language-model llm modal-logic muddy-children natural-language natural-language-inference natural-language-processing nli nlp pal public-announcement-logic social-reasoning theory-of-mind tom

Last synced: 06 Jan 2025

https://github.com/aclai-lab/modaldecisiontrees.jl

Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!

decision-trees logic machine-learning modal-logic symbolic-learning time-series-classification

Last synced: 05 Apr 2025

https://github.com/joom/modal

Compilation of modal logic based functional language ML5 to JavaScript.

agda compiler javascript logic modal-logic

Last synced: 01 May 2025

https://github.com/leoprover/logic-embedding

Library and application for encoding non-classical logics into classical higher-order logic.

logic modal-logic non-classical-logics reasoning

Last synced: 07 May 2025

https://github.com/jdevuyst/tableaux

Tableau-based theorem prover for public announcement logic

clojure modal-logic theorem-prover

Last synced: 15 Apr 2025

https://github.com/leoprover/embed_modal

A tool for translating higher-order modal logic problems into classical higher-order logic

higher-order-logic modal-logic

Last synced: 07 May 2025

https://github.com/m4lvin/modal-logic-final-embedding

Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html

interpreter logic modal-logic tagless-final

Last synced: 24 Mar 2025

https://github.com/francoisschwarzentruber/tools-for-teaching-logic

A list of tools for teaching logic

education educational-project list logic logic-programming modal-logic model-checking multi-agent-systems proof-systems sat-solver

Last synced: 02 Mar 2025

https://github.com/lev135/niebergall

The source code of an article about provability logic

formal-theory logic math modal-logic

Last synced: 12 Mar 2025

https://github.com/ewdlop/logic-note

boolean-logic computer-assisted-proof first-order-logic formal-logic fuzzy-logic many-valued-logic modal-logic predicate-logic proofs-as-programs propositional-calculus three-state-logic three-valued-logic

Last synced: 18 Feb 2025

https://github.com/jedrzej-wydra/jedrzej-wydra

The place, where everything started.

data-science forensic-science functional-data-analysis law mathematics modal-logic tea theory-of-law

Last synced: 23 Mar 2025

https://github.com/m4lvin/sabotage

The Sabotage Game

game-theory haskell modal-logic model sabotage

Last synced: 24 Mar 2025