Publications
Export 7 results:
Filters: First Letter Of Title is N [Clear All Filters]
, “Nested Sequents”. Universität Bern, 2010.
, “A Note on the Use of Sum in the Logic of Proofs”, in Proceedings of the 7th {P}anhellenic {L}ogic {S}ymposium, Patras University, Greece, 2009, pp. 99–103.
, “The NP-completeness of reflected fragments of justification logics”, in Proceedings of {S}ymposium on {L}ogical {F}oundations of {C}omputer {S}cience ({LFCS}'09), 2009, vol. 5407, pp. 122-136.
, “The non-constructive $μ$-operator, fixed point theories with ordinals, and the bar rule”, Annals of Pure and Applied Logic, vol. 104, p. 305{–}324, 2000.
, “N-strictness in applicative theories”, Archive for Mathematical Logic, vol. 39, p. 125{–}144, 2000.
, “A new one-pass tableau calculus for $\mathsf{PLTL}$”, in Proceedings of Tableaux '98, 1998, vol. 1397, p. 277{–}292.
, “Natural numbers and forms of weak induction in applicative theories”. Universität Bern, 1995.