Principles of Model Checking
Principia Logico-Metaphysica (Draft/Excerpt)
The Liar Paradox: A Consistent and Semantically Closed Solution
Notions of Computability at Higher Type
Interpretability formalized
Document
first order logic
Ethical Intuitionism: The Meaning of Meaning Senior
Exercise
Enumerations in computable structure theory
Formal Languages and Automata
FOR HIGHER-ORDER RELEVANT LOGIC
Failures of Categoricity and Compositionality for
Graphical Representation of Canonical Proof: Two case studies
Gödel incompleteness theorems and the limits of their applicability. I
Goal-directed Proof Theory
Document
DIPLOMAMUNKA
Die Grundlagen der Arithmetik §§82–83
Default Logic (Reiter) - Department of Computing
