Skip to content
modalogic
ModaLogic API Documentation
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 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
Introduction
ModaLogic API Documentation
¶
Introduction
¶
Last update: 2021-07-02