| Publication | Date of Publication | Type |
|---|
| Constructive cut elimination in geometric logic | 2024-08-01 | Paper |
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
Annals of Pure and Applied Logic | 2023-06-13 | Paper |
Glivenko sequent classes and constructive cut elimination in geometric logics
Archive for Mathematical Logic | 2023-06-05 | Paper |
The intensional side of algebraic-topological representation theorems
Synthese | 2023-03-30 | Paper |
| scientific article; zbMATH DE number 7585715 (Why is no real title available?) | 2022-09-15 | Paper |
Geometric Rules in Infinitary Logic
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Proof theory for quantified monotone modal logics
Logic Journal of the IGPL | 2021-12-03 | Paper |
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
Journal Of Logic And Computation | 2021-11-09 | Paper |
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
Journal Of Logic And Computation | 2021-09-22 | Paper |
Proof-theoretic analysis of the logics of agency: the deliberative STIT
Studia Logica | 2021-08-19 | Paper |
Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
| Uniform labelled calculi for conditional and counterfactual logics | 2020-03-04 | Paper |
| A system of proof for Lewis counterfactual | 2020-02-13 | Paper |
| scientific article; zbMATH DE number 7166982 (Why is no real title available?) | 2020-02-13 | Paper |
Meaning in use
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
| Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 7085124 (Why is no real title available?) | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 7084838 (Why is no real title available?) | 2019-07-24 | Paper |
A constructive proof of the Heine-Borel covering theorem for formal reals
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Conditional beliefs: from neighbourhood semantics to sequent calculus
The Review of Symbolic Logic | 2018-11-29 | Paper |
| scientific article; zbMATH DE number 6863652 (Why is no real title available?) | 2018-04-23 | Paper |
Countermodels from sequent calculi in multi-modal logics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Proof analysis beyond geometric theories: from rule systems to systems of rules
Journal Of Logic And Computation | 2016-07-07 | Paper |
Glivenko sequent classes in the light of structural proof theory
Archive for Mathematical Logic | 2016-05-13 | Paper |
Proof analysis for Lewis counterfactuals
The Review of Symbolic Logic | 2016-04-29 | Paper |
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
Journal of Logic and Computation | 2016-04-28 | Paper |
Geometrisation of first-order logic
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
A sequent calculus for preferential conditional logic based on neighbourhood semantics
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Proofs and countermodels in non-classical logics
Logica Universalis | 2015-02-05 | Paper |
The Church-Fitch knowability paradox in the light of structural proof theory
Synthese | 2014-04-07 | Paper |
Does the deduction theorem fail for modal logic?
Synthese | 2013-11-25 | Paper |
On the duality of proofs and countermodels in labelled sequent calculi
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Proof analysis in intermediate logics
Archive for Mathematical Logic | 2012-02-10 | Paper |
| Proof Analysis | 2012-01-31 | Paper |
Reasoning about collectively accepted group beliefs
Journal of Philosophical Logic | 2011-12-15 | Paper |
| Kripke completeness revisited | 2011-11-22 | Paper |
Decidability for Priorean linear time using a fixed-point labelled calculus
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Proof Theory for Distributed Knowledge
Lecture Notes in Computer Science | 2009-02-12 | Paper |
| Hilbert's last problem | 2008-11-21 | Paper |
| Proof analysis in non-classical logics | 2008-04-14 | Paper |
| Permutability of rules for linear lattices | 2007-10-15 | Paper |
Decision methods for linearly ordered Heyting algebras
Archive for Mathematical Logic | 2006-05-26 | Paper |
Proof analysis in modal logic
Journal of Philosophical Logic | 2006-01-23 | Paper |
| scientific article; zbMATH DE number 2247256 (Why is no real title available?) | 2006-01-16 | Paper |
Permutability of rules in lattice theory.
Algebra Universalis | 2005-04-19 | Paper |
Proof-theoretical analysis of order relations
Archive for Mathematical Logic | 2004-12-16 | Paper |
Proof systems for lattice theory
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
Archive for Mathematical Logic | 2003-09-16 | Paper |
A normalizing system of natural deduction for intuitionistic linear logic
Archive for Mathematical Logic | 2003-09-16 | Paper |
Varieties of linear calculi
Journal of Philosophical Logic | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1795222 (Why is no real title available?) | 2002-09-03 | Paper |
Continuous domains as formal spaces
Mathematical Structures in Computer Science | 2002-06-09 | Paper |
Admissibility of structural rules for extensions of contraction-free sequent calculi
Logic Journal of the IGPL | 2002-05-13 | Paper |
Sequent calculus in natural deduction style
Journal of Symbolic Logic | 2002-04-29 | Paper |
| Structural proof theory. With an appendix by Aarne Ranta | 2001-09-18 | Paper |
Admissibility of structural rules for contraction-free systems of intuitionistic logic
The Journal of Symbolic Logic | 2001-07-16 | Paper |
| scientific article; zbMATH DE number 1189108 (Why is no real title available?) | 2001-03-22 | Paper |
Cut Elimination in the Presence of Axioms
The Bulletin of Symbolic Logic | 2000-04-06 | Paper |
Cut Elimination in the Presence of Axioms
The Bulletin of Symbolic Logic | 2000-04-06 | Paper |
The continuum as a formal space
Archive for Mathematical Logic | 2000-01-04 | Paper |
Sequent calculus proof theory of intuitionistic apartness and order relations
Archive for Mathematical Logic | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1302057 (Why is no real title available?) | 1999-10-05 | Paper |
The generalized Riemann integral on locally compact spaces
Topology and its Applications | 1999-06-24 | Paper |
| scientific article; zbMATH DE number 1301740 (Why is no real title available?) | 1999-06-16 | Paper |
Tychonoff's theorem in the framework of formal topologies
Journal of Symbolic Logic | 1998-07-01 | Paper |
| scientific article; zbMATH DE number 937390 (Why is no real title available?) | 1997-05-25 | Paper |
Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
Mathematical Structures in Computer Science | 1996-05-02 | Paper |
