| Publication | Date of Publication | Type |
|---|
Mathematical explanations: an analysis via formal proofs and conceptual complexity
Philosophia Mathematica. Series III | 2024-10-31 | Paper |
Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies
Logic and Logical Philosophy | 2023-07-03 | Paper |
Grounding principles for (relevant) implication
Synthese | 2023-03-31 | Paper |
| scientific article; zbMATH DE number 7668087 (Why is no real title available?) | 2023-03-24 | Paper |
| scientific article; zbMATH DE number 7644093 (Why is no real title available?) | 2023-01-20 | Paper |
| Defining formal explanation in classical logic by substructural derivability | 2022-03-22 | Paper |
Grounding, quantifiers, and paradoxes
Journal of Philosophical Logic | 2021-12-02 | Paper |
Toward a generalization of the logic of grounding
THEORIA. An International Journal for Theory, History and Foundations of Science | 2021-08-02 | Paper |
Grounding rules for (relevant) implication
Journal of Applied Non-Classical Logics | 2021-07-06 | Paper |
| Grounding rules and (hyper-)isomorphic formulas | 2021-02-06 | Paper |
A Critical Overview of the Most Recent Logics of Grounding
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
| scientific article; zbMATH DE number 7215077 (Why is no real title available?) | 2020-06-25 | Paper |
An analytic calculus for the intuitionistic logic of proofs
Notre Dame Journal of Formal Logic | 2019-10-22 | Paper |
On constructing a logic for the notion of complete and immediate formal grounding
Synthese | 2018-03-27 | Paper |
| scientific article; zbMATH DE number 6769390 (Why is no real title available?) | 2017-09-04 | Paper |
| Common knowledge: a finitary calculus with a syntactic cut-elimination procedure | 2017-04-03 | Paper |
On defining the notion of complete and immediate formal grounding
Synthese | 2017-03-08 | Paper |
Natural deduction calculi and sequent calculi for counterfactual logics
Studia Logica | 2016-10-27 | Paper |
Proof Analysis. A Contribution to Hilbert's Last Problem
History and Philosophy of Logic | 2015-03-25 | Paper |
From single agent to multi-agent via hypersequents
Logica Universalis | 2013-08-06 | Paper |
| scientific article; zbMATH DE number 6174943 (Why is no real title available?) | 2013-06-12 | Paper |
Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants
The Realism-Antirealism Debate in the Age of Alternative Logics | 2012-08-29 | Paper |
Gentzen calculi for modal propositional logic
Trends in Logic -- Studia Logica Library | 2010-08-16 | Paper |
A cut-free simple sequent calculus for modal logic S5
The Review of Symbolic Logic | 2010-08-13 | Paper |
Display calculi and other modal calculi: a comparison
Synthese | 2010-08-13 | Paper |
A contraction-free and cut-free sequent calculus for propositional dynamic logic
Studia Logica | 2010-04-26 | Paper |
A purely syntactic and cut-free sequent calculus for the modal logic of provability
The Review of Symbolic Logic | 2010-01-21 | Paper |
The Method of Tree-Hypersequents for Modal Propositional Logic
Towards Mathematical Philosophy | 2009-02-05 | Paper |
