List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|
Decidable fragments of the quantified argument calculus
The Review of Symbolic Logic | 2024-11-14 | Paper |
Is, ought, and cut
Journal of Philosophical Logic | 2023-08-02 | Paper |
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
The Review of Symbolic Logic | 2023-05-26 | Paper |
Neutral free logic: motivation, proof theory and models
Journal of Philosophical Logic | 2023-04-24 | Paper |
PRIORITY MERGE AND INTERSECTION MODALITIES
The Review of Symbolic Logic | 2022-03-18 | Paper |
A more unified approach to free logics
Journal of Philosophical Logic | 2021-05-07 | Paper |
Free logic and the quantified argument calculus
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
Open reading and free choice permission: a perspective in substructural logics
Dynamics, Uncertainty and Reasoning | 2020-08-10 | Paper |
PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
The Review of Symbolic Logic | 2020-02-20 | Paper |
Double-line harmony in a sequent setting
| 2019-07-24 | Paper |
Logicality, double-line rules, and modalities
Studia Logica | 2019-05-15 | Paper |
Truth, partial logic and infinitary proof systems
Studia Logica | 2018-08-06 | Paper |
The epsilon-reconstruction of theories and scientific structuralism
Erkenntnis | 2016-11-01 | Paper |
Incomplete symbols -- definite descriptions revisited
Journal of Philosophical Logic | 2016-03-08 | Paper |
Obligation, free choice, and the logic of weakest permissions
The Review of Symbolic Logic | 2015-12-30 | Paper |
The logic of best actions from a deontic perspective
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Sequent Calculi for Multi-modal Logic with Interaction
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
The Logic of Obligation as Weakest Permission
Lecture Notes in Computer Science | 2012-11-02 | Paper |
A sequent calculus for a negative free logic
Studia Logica | 2011-02-03 | Paper |
Research outcomes over time
This page was built for person: Norbert Gratzl
