MAS: Using Priest Modal Tableaux to Visualise Kripke Models
Chapter 5: Bibliography
M. Koonstra S2399385 / G. Schoenmacker s1550748 / Rijksuniversiteit Groningen
Bibliography
- Meyer, J.J.C. and van der Hoek, W. Epistemic Logic for AI and Computer Science, ISBN 9780521602808. Cambridge University Press. 2004.
- Priest, G. An Introduction to Non-Classical Logic. ISBN 9781139469678. Cambridge University Press. 2001.
- Gomez-Caminero, E. and Nepomuceno, A. Modified tableaux for some kinds of multi-modal logics. PDF Presentation. 2012.
- Slides from the MAS course
- JUNG Java library. http://jung.sourceforge.net/
- SableCC Java library. http://sablecc.org/
- OOPS Parser Grammar. https://github.com/gertvv/oops/wiki
Previous Chapter: Chapter 5 - Conclusions
