By
Twan van Laarhoven
MOLTAP
— A Modal Logic Tableau Prover
MOLTAP
Overview
The prover
Examples
Users guide
Syntax reference
Download
Theory
Introduction
Propositional tableaux
Modal tableaux
KD, S4, S5, etc.
Soundness
Completeness
Knowledge in groups
Common knowledge
Implementation
The basics
Representing tableaux
Working with models
Conclusion
Conclusions
Related work
References
↓
Enter a term in the box above to proof/disprove it. For more information see
Users guide
Syntax reference