multi-modal-logic

There are 0 repository under multi-modal-logic topic.

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
PluralityNET / Project.GodAndAdam.Distributed
New shape for my old GOD_AND_ADAM system
ai artificial-intelligence symbolic-ai symbolic-artificial-intelligence multi-modal logics logic multi-modal-logic ai-forecasting-and-planning multi-modal-logics all-inclusive all-inclusive-approach symbolic hypothesis-testing hypotheses hypothesis-and-selection axiom-hypotheses axiom-hypothesis pluralitynet multi-type-valued-logic-statements
3