Skip to content
modalogic
The Blackboard
Initializing search
GitHub
Home
Installation
Semantic Tableaux
Architecture
Designs
Tutorials
Usage
Contributing
FAQ
Report Issues
API Reference
modalogic
GitHub
Home
Installation
Semantic Tableaux
Semantic Tableaux
Introduction to Tableau Methods
Propositional Logic Tableau
First Order Logic Tableau
Modal Logic Tableau
Possible Worlds Semantics
Architecture
Architecture
Architecture Introduction
The Reasoner
The Blackboard
The Blackboard
Table of contents
The Blackboard Feature
The Tableaux
The Parser
The User Interface
Designs
Designs
Design Introduction
Information Model
Expression Processing
Tutorials
Tutorials
Tutorial Introduction
Usage
Contributing
FAQ
Report Issues
API Reference
API Reference
Modalogic module
Table of contents
The Blackboard Feature
ModaLogic Architecture Documentation
¶
The Blackboard Feature
¶
Last update: 2021-07-02