modal-logic

There are 2 repositories under modal-logic topic.

rkirsling / modallogic
Modal Logic Playground
modal-logic directed-graph semantics
Language:JavaScript 357
erohkohl / mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
artificial-intelligence multi-agent-systems kripke-structure modal-logic knowledge-based-systems multi-modal-logic tableau-calculus
Language:Python 53
mtt-lang / mtt-lang
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
modal-type-theory modal-logic ocaml tutorial
Language:OCaml 40
marcincuber / modal_logic
Final Year Masters Project: modal logic solver tableaux
modal logic logic-programming complexity graph-theory graph-algorithms complexity-theory modal-logic temporal-logic
Language:Python 21
nclarius / pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
logic propositional-logic predicate-logic first-order-logic classical-logic intuitionistic-logic proof model-checking model-checker model-generation model-extraction analytic-tableaux modal-logic theorem-prover
Language:Python 18
giopaglia / ModalDecisionTrees.jl
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
machine-learning computer-vision logic modal-logic time-series-classification decision-trees symbolic-learning
Language:Julia 15
arielsilveira / ModalLibrary
Modal Logic Library in Coq
coq modal-logic library semantics
Language:TeX 14
DistributedComponents / InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
coq coq-library temporal-logic ltl modal-logic proof
Language:Coq 13
hintikkasworld / hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
logic logic-game modal-logic epistemic-logic dynamic-logics artificial-intelligence ijcai-18 agents
Language:TeX 12
aclai-lab / SoleLogics.jl
Computational logic in Julia!
logic modal-logic symbolic-learning
Language:Julia 11
sileod / llm-theory-of-mind
Testing Theory of Mind (ToM) in language models with epistemic logic
language-model theory-of-mind tom chatgpt gpt-4 llm epistemic-logic modal-logic epistemic-reasoning dataset natural-language-inference english natural-language natural-language-processing nli nlp pal social-reasoning public-announcement-logic muddy-children
Language:Python 11
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
Language:Julia 9
joom / modal
Compilation of modal logic based functional language ML5 to JavaScript.
modal-logic logic agda javascript compiler
Language:Agda 9
damhiya / MetaLambda
metaprogramming multi-stage-programming haskell lambda-calculus programming-language modal-type-theory adjoint-type-theory contextual-modal-type-theory modal-logic
Language:Haskell 8
ais-climber / a-la-mode
A neural network model builder, leveraging a neuro-symbolic interface.
conditional-logic hebbian-learning knowledge-representation modal-logic model-building model-extraction neuro-symbolic-ai
Language:Python 7
jdevuyst / tableaux
Tableau-based theorem prover for public announcement logic
clojure modal-logic theorem-prover
Language:Clojure 6
leoprover / embed_modal
A tool for translating higher-order modal logic problems into classical higher-order logic
modal-logic higher-order-logic
Language:Python 5
vittau / kripfy
A Kripke structure modelling framework
logic modal-logic epistemic-logic kripke-structure
Language:TypeScript 5
hrb90 / kripke
Kripke semantics
kripke-model formal-logic semantics intuitionistic-logic modal-logic
Language:PureScript 4
leoprover / logic-embedding
Library and application for encoding non-classical logics into classical higher-order logic.
modal-logic reasoning logic non-classical-logics
Language:Scala 4
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
logic interpreter tagless-final modal-logic
Language:Haskell 4
deepshig / mastermind
Master mind Board Game implemented in Python
mastermind guesses players game artificial-intelligence epistemic-logic multiagent-systems multi-agent-systems multi-agent-simulation multi-agent-system common-knowledge pytests mlsolver modal-logic knowledge-base knowledgebase knowledge-management knowledge-based-systems
Language:Python 3
Guigui14460 / multi-agents-knowledge-based-programs-interpreter
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
interpreter knowledge-based-reasoning multi-agents symbolic-ai knowledge-based-program logic-raisonning epistemic-logic kripke-structure modal-logic dynamic-epistemic-logic university-of-caen
Language:Java 3
IliesChibane / TP-representation-des-connaissances-et-le-raisonnement
TPS ET RAPPORTS MODULE RCR 1 et 2
baysian-network c default-logic dempster-shafer-theory description-logic fuzzy-logic java modal-logic octave python sat-solver semantic-networks inference-logic possibilistic-logic
Language:MATLAB 3
joeytman / Modal_Logic_Tableaux_Solver
A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
formula axiom modal-formulas paper logic logic-programming modal-logic visualization visualisation
Language:Python 3
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
2
RAIRLab / ShadowAdjudicator
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
automate-reasoning modal-logic python
Language:Python 2
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.
axios crud-operations modal-logic tailwindcss
Language:JavaScript 2
ZakariaYousfi / TPRCR-Knowledge-Presentation-Full
implementation of different kinds of knowledge presentation languages programmatically
default-logic description-logic modal-logic predicate-logic semantic-networks first-order-logic
2
AleOlea / modal
Modal windows
modal-windows modal-logic
Language:CSS 1
csunibo / 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.
bologna course logic modal-logic philosophy university
Language:TeX 1
Isabelle778 / LogicPhilosophyWorkspace
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
epistemic-logic kripke doxastic deontic-logic epistemic temporal-logic modal-logic propositional-logic fuzzy-logic paraconsistent
1
jeltsch / modal-programming
Modal programming in Haskell
modal-logic curry-howard-isomorphism static-pointers
Language:Haskell 1
m0rt1c / gomoltp
A modal logic thorem prover written in golang
golang theorem-proving modal-logic theorem-prover go
Language:Go 1
Twelvelines / MCCAL
Model Checker with Coalition Announcement Logic
model-checking modal-logic epistemic-logic multi-agent-systems coalition-announcement-logic antlr java
Language:Java 1
wo / logic2
Lecture notes for a modal logic course
logic modal-logic
Language:TeX 1

modal-logic

rkirsling / modallogic

erohkohl / mlsolver

mtt-lang / mtt-lang

marcincuber / modal_logic

nclarius / pyPL

giopaglia / ModalDecisionTrees.jl

arielsilveira / ModalLibrary

DistributedComponents / InfSeqExt

hintikkasworld / hintikkasworld

aclai-lab / SoleLogics.jl

sileod / llm-theory-of-mind

aclai-lab / ModalDecisionTrees.jl

joom / modal

damhiya / MetaLambda

ais-climber / a-la-mode

jdevuyst / tableaux

leoprover / embed_modal

vittau / kripfy

hrb90 / kripke

leoprover / logic-embedding

m4lvin / modal-logic-final-embedding

deepshig / mastermind

Guigui14460 / multi-agents-knowledge-based-programs-interpreter

IliesChibane / TP-representation-des-connaissances-et-le-raisonnement

joeytman / Modal_Logic_Tableaux_Solver

francoisschwarzentruber / tools-for-teaching-logic

RAIRLab / ShadowAdjudicator

VivianLaFarina / User_app

ZakariaYousfi / TPRCR-Knowledge-Presentation-Full

AleOlea / modal

csunibo / metodi-logici-per-la-filosofia

Isabelle778 / LogicPhilosophyWorkspace

jeltsch / modal-programming

m0rt1c / gomoltp

Twelvelines / MCCAL

wo / logic2