Documentation

The following paper was published:

1. Gert van Valkenhoef, Elske van der Vaart and Rineke Verbrugge (2009). OOPS: An S5n Prover for Educational Settings. In Proceedings of the 6th Workshop on Methods for Modalities (M4M-6), Copenhagen (Denmark), November 2009. To appear in Elsevier ENTCS. [Full Text; Presentation]

The following reports are currently available as documentation:

1. Elaborations on OOPS – final report of the follow-up project, 2008-06-26
2. OOPS – Object Oriented Prover for S5n corrected version – original report with some corrections, 2008-02-15
3. OOPS – Object Oriented Prover for S5n – our original report describing OOPS, 2007-05-16

Unfortunately, they are somewhat dated. We hope to produce a manual some time in the future.