Norbert Gratzl

Available identifiers

Publication	Date of Publication	Type
Decidable fragments of the quantified argument calculus	2024-11-14	Paper
Is, ought, and cut	2023-08-02	Paper
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS	2023-05-26	Paper
Neutral free logic: motivation, proof theory and models	2023-04-24	Paper
PRIORITY MERGE AND INTERSECTION MODALITIES	2022-03-18	Paper
A more unified approach to free logics	2021-05-07	Paper
Free Logic and the Quantified Argument Calculus	2020-08-21	Paper
Open Reading and Free Choice Permission: A Perspective in Substructural Logics	2020-08-10	Paper
PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS	2020-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q5224889	2019-07-24	Paper
Logicality, double-line rules, and modalities	2019-05-15	Paper
Truth, partial logic and infinitary proof systems	2018-08-06	Paper
The epsilon-reconstruction of theories and scientific structuralism	2016-11-01	Paper
Incomplete symbols -- definite descriptions revisited	2016-03-08	Paper
OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS	2015-12-30	Paper
The Logic of Best Actions from a Deontic Perspective	2015-05-11	Paper
Sequent Calculi for Multi-modal Logic with Interaction	2013-11-06	Paper
The Logic of Obligation as Weakest Permission	2012-11-02	Paper
A sequent calculus for a negative free logic	2011-02-03	Paper

This page was built for person: Norbert Gratzl