GitHub topics: modal-logic
aclai-lab/SoleLogics.jl
Computational logic in Julia!
Language: Julia - Size: 5.08 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 7
m4lvin/lean4-pdl
Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
Language: Lean - Size: 1.75 MB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 12 - Forks: 3
cartabinaria/metodi-logici-per-la-filosofia
Una raccolta di risorse per l'insegnamento di Metodi logici per la filosofia (85001) del Corso di Laurea in Filosofia.
Language: TeX - Size: 112 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 5
paulmagadi/equinox_space
This is a visually engaging and responsive portfolio website featuring animated sections, background videos, and smooth transitions. It’s designed to showcase projects, contact information, and brand identity in a clean and interactive way.
Language: HTML - Size: 10.9 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
phatware/recursive-consciousness
Recursive Consciousness: Modeling Minds in Forgetful Systems
Language: Jupyter Notebook - Size: 1.96 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
aclai-lab/ModalDecisionTrees.jl
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
Language: Julia - Size: 2.84 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 11 - Forks: 2
kevinlopaq/cmtt
Type-checker for CMTT
Language: Haskell - Size: 85 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
DistributedComponents/InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Language: Coq - Size: 88.9 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 4
NathOrmond/logic-engine
npm package for doing logic related things in typescript
Language: TypeScript - Size: 12.7 KB - Last synced at: 9 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
rkirsling/modallogic
Modal Logic Playground
Language: JavaScript - Size: 164 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 370 - Forks: 56
leoprover/logic-embedding
Library and application for encoding non-classical logics into classical higher-order logic.
Language: Scala - Size: 2.13 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 2
nclarius/nclarius
Size: 23.4 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
FormalizedFormalLogic/LabelledSystem
Label-based Caliculi for Modal Logic
Language: Lean - Size: 43.9 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
HOLMS-lib/holms-lib.github.io
HOL Light Library for Modal Systems
Size: 96.7 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Language: Python - Size: 6.22 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 19 - Forks: 2
sileod/llm-theory-of-mind
Testing Theory of Mind (ToM) in language models with epistemic logic
Language: Python - Size: 610 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 3
Jedrzej-Wydra/Jedrzej-Wydra
The place, where everything started.
Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
giopaglia/ModalDecisionTrees.jl Fork of JuliaAI/DecisionTree.jl 📦
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
Language: Julia - Size: 4.74 MB - Last synced at: 8 months ago - Pushed at: 10 months ago - Stars: 15 - Forks: 2
cxlvinchau/mu-calculus
Simple implementation of mu-calculus model checking
Language: Python - Size: 6.84 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
m0rt1c/gomoltp
A modal logic thorem prover written in golang
Language: Go - Size: 350 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
marcincuber/modal_logic
Final Year Masters Project: modal logic solver tableaux
Language: Python - Size: 819 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 21 - Forks: 1
wo/logic2
Lecture notes for a modal logic course
Language: TeX - Size: 13.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
hintikkasworld/hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
Language: TeX - Size: 28.4 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 2
damhiya/MetaLambda
Language: Haskell - Size: 108 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0
erohkohl/mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
Language: Python - Size: 3.54 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 52 - Forks: 10
ais-climber/a-la-mode
A neural network model builder, leveraging a neuro-symbolic interface.
Language: Python - Size: 567 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0
francoisschwarzentruber/tools-for-teaching-logic
A list of tools for teaching logic
Size: 17.6 KB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
joom/modal
Compilation of modal logic based functional language ML5 to JavaScript.
Language: Agda - Size: 106 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 9 - Forks: 1
VivianLaFarina/User_app
Instructions: Create an application where users can be managed through a CRUD. Use this API https://users-crud.academlo.tech/swagger/ to query, create, delete, and update those users.
Language: JavaScript - Size: 238 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
arielsilveira/ModalLibrary
Modal Logic Library in Coq
Language: TeX - Size: 3.29 MB - Last synced at: 11 months ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 1
IliesChibane/TP-representation-des-connaissances-et-le-raisonnement Fork of ferrorra/RCR1
TPS ET RAPPORTS MODULE RCR 1 et 2
Language: MATLAB - Size: 10.8 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
mtt-lang/mtt-lang
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
Language: OCaml - Size: 304 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 40 - Forks: 8
arefeh-htmi/react-avatar-uploader-modal
an avatar uploader modal in react with styling
Language: JavaScript - Size: 496 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
vittau/kripfy
A Kripke structure modelling framework
Language: TypeScript - Size: 2.1 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
deepshig/mastermind
Master mind Board Game implemented in Python
Language: Python - Size: 2.12 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
leoprover/embed_modal
A tool for translating higher-order modal logic problems into classical higher-order logic
Language: Python - Size: 1.54 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 2
Twelvelines/MCCAL
Model Checker with Coalition Announcement Logic
Language: Java - Size: 181 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
jdevuyst/tableaux
Tableau-based theorem prover for public announcement logic
Language: Clojure - Size: 211 KB - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 6 - Forks: 1
jeltsch/modal-programming
Modal programming in Haskell
Language: Haskell - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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
Language: Haskell - Size: 1.95 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0
Guigui14460/multi-agents-knowledge-based-programs-interpreter
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
Language: Java - Size: 1.34 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
m4lvin/sabotage
The Sabotage Game
Language: Haskell - Size: 13.7 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
joeytman/Modal_Logic_Tableaux_Solver
A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
Language: Python - Size: 471 KB - Last synced at: 12 days ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1
