Books

Programs

Technical Reports

Papers

• Justification Logic
• Modal Logic
• Formal Theorem Proving
• Logic Programming
• Bilattices
• Many-Valued Logics
• Database Theory
• Philosophical Logic
• Unpublished paper on the n dimensional Pythagorean theorem
• None of the Above