Publications

Export 30 results:

Filters: Type is Master's Thesis [Clear All Filters]

2011

D. Fabian, “Applicative theories on tree ordinal numbers”. Universität Bern, 2011.

2010

J. Brugger, “Proof-theoretic aspects of weak König's Lemma”. Universität Bern, 2010.

C. Pulver, “Self-Referentiality in Contraction-free Fragments of Modal Logic S4”. Universität Bern, 2010.

M. C. Stolz, “Verification of Workflow Control-Flow Patterns with the SPIN Model Checker”. Universität Bern, 2010.

2009

S. Eberhard, “Aspekte beweisbar totaler Funktionen in applikativen Theorien”. Universität Bern, 2009.

J. Krähenbühl, “Justifying induction on modal mu-formulae”. Universität Bern, 2009.

R. Zumbrunnen, “Ontological Questions about Operational Set Theory”. Universität Bern, 2009.

R. Traber, “Proof-Systems for PLTL: Cycling Sequents and their Use in a Finitization for PLTL”. Universität Bern, 2009.

2008

C. Larrzabal, “Automatic Model Checking of UML models”. Universität Bern, 2008.

S. Liniger, “The Basic Feasible Functionals in Bounded Arithmetic”. Universität Bern, 2008.

S. Bucheli, “Explicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions”. Universität Bern, 2008.

R. Goetschi, “Polytime Functions in Two-Sorted Bounded Arithmetic”. Universität Bern, 2008.

2006

N. Kottmann, “Description Logic Query Answering with Relational Databases”. Universität Bern, 2006.

J. Krähenbühl, “Explicit Mathematics with Positive Existential Comprehension and Join”. Universität Bern, 2006.

2005

D. Spescha, “ALOE – A Graphical Editor for OWL Ontologies”. Universität Bern, 2005.

M. Dürig, “$\mathcal{PALC}$: Extending $\mathcal{ALC}$ ABoxes with Probabilities”. Universität Bern, 2005.

D. Sonderegger, “$\mathsf{PLTL}$ – Vollständigkeit und Modell-Konstruktion”. Universität Bern, 2005.

2004

T. Burri, “Weak König's Lemma and Extensional Equality”. Universität Bern, 2004.

2003

T. Schweizer, “Two Interpretations of $\mathsf{WKL}_0$ in Subsystems of $\mathsf{PA}$”. Universität Bern, 2003.

2002

P. Keller, “Information Flow – Logics for the (R)age of Information”. Universität Bern, 2002.

M. Kretz, “On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics”. Universität Bern, 2002.

2001

D. Steiner, “Proof-Theoretic Strength of $\mathsf{PRON}$ with Various Extensions”. Universität Bern, 2001.

M. Heissenbüttel, “Theories of Ordinal Strength $\varphi 2 0$ and $\varphi 2 \varepsilon_0$”. Universität Bern, 2001.

2000

M. Krebs, “Einige Aspekte der Modallogik $\mathsf{S5}_n$ mit Allgemeinwissen”. Universität Bern, 2000.

1999

M. Wirz, “Charakterisierungen kleiner Komplexitätsklassen mittels geschichteter N-Prädikate”. Universität Bern, 1999.

Pages