MOLTAP — References

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

• OOPS – Object Oriented Prover for S5_n
  Elske van der Vaart and Gert van Valkenhoef
  Multi Agent Systems, Rijksuniversiteit Groningen, 2007
• Free Variable Tableaux for Propositional Modal Logics
  Bernhard Beckert and Rajeev Goré
  Proceedings, International Conference on Theorem Proving with Analytic Tableaux and Related Methods, Pont-a-Mousson, France, 1997.
• The Logics Workbench
  Gerhard Jaeger, Peter Balsiger, Alain Heuerding, Stefan Schwendimann and others.
• Computational Semantics: Tableaux Calculi
  Aljoscha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn and Johan Bos
  MiLCA (Medienintensive Lehrmodule in der Computerlinguistik-Ausbildung)
• Basic Proof Theory
  A. S. Troestra and H. Schwichtenberg
  pp 51–75
  Cambridge University Press, 1996, ISBN 0521572231.
• Epistemic Logic for AI and Computer Science
  W. van der Hoek and J.-J. Ch. Meyer
  Cambridge University Press, paperback edition 2004, ISBN 0521602807.
• Functional Pearl: The Zipper
  Gérard Huet
  J. Functional Programming 7 (5): 549–554, September 1997
• HaskellWiki on The Zipper
  Various authors