Master's thesis - Martin G. Skjæveland

Martin G. Skjæveland. Free-Variable Calculi for the Modal Logics K45 and S5. Master's thesis, University of Oslo, 2006
[ .pdf ]


Selected publications available online:

Arild Waaler. Connections in Nonclassical Logics. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, volume II, chapter 22, pages 1487-1587. Elsevier Science, 2001
[ .pdf ]
 

Riccardo Rosati. A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Studia Logica, 69:171-191, 2001
[ .pdf ]
 

Bernhard Beckert and Rajeev Goré. Free variable tableaux for propositional modal logics. In Proc. International Conference on Theorem Proving with Analytic Tableaux and Related Methods, Pont-a-Mousson, France, volume 1227, pages 91-106. Springer-Verlag, 1997
[ .dvi ]
 

Fabio Massacci. Single Step Tableaux for Modal Logics. Journal of Automated Reasoning, 24:319-364, 2000
[ .pdf ]
 

Roger Antonsen. Free variable sequent calculi. Master's thesis, University of Oslo, 2003
[ .pdf ]
 

Arild Waaler, Johan W. Klüver, Tore Langholm, and Espen H. Lian. Only Knowing with Degrees of Confidence. To appear in Journal of Applied Logic, 2006
[ .pdf ]
 

Roger Antonsen and Arild Waaler. Liberalized variable splitting. To appear in Journal of Automated Reasoning, 2006
[ .pdf ]
 

Bjørnar Solhaug. Logical Spaces in Multi-Modal Only Knowing Logics. Master's thesis, Dept. of Linguistics, University of Oslo, 2004
[ .pdf ]
 

Arild Waaler. Consistency proofs for systems of multi-agent only knowing. Advances in Modal Logic, 5, 2005
[ .ps ]
 

Christian Mahesh Hansen. Incremental Proof Search in the Splitting Calculus. Master's thesis, Dept. of Informatics, University of Oslo, 2004
[ .pdf ]
 

Michal Walicki. Introduction to Logic. http://www.ii.uib.no/~michal/und/i227/book/book.pdf, 2006. Lecture notes IN-227, University of Bergen
 

Bjarne Holen. A Reflective Theorem Prover for the Connection Calculus. Master's thesis, Dept. of Informatics, University of Oslo, 2005
[ .pdf ]
 


This file has been generated by bibtex2html 1.52