Norbert Gratzl

20 papers Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Decidable Fragments of the Quantified Argument Calculus.
Rev. Symb. Log.
Edi Pavlovic, Norbert Gratzl
2023 J jnl
Abstract Forms of Quantification in the Quantified Argument Calculus.
Rev. Symb. Log.
Edi Pavlovic, Norbert Gratzl
2023 J jnl
Is, Ought, and Cut.
J. Philos. Log.
Norbert Gratzl, Edi Pavlovic
2023 J jnl
Neutral Free Logic: Motivation, Proof Theory and Models.
J. Philos. Log.
Edi Pavlovic, Norbert Gratzl
2022 J jnl
Priority Merge and Intersection Modalities.
Rev. Symb. Log.
Zoé Christoff, Norbert Gratzl, Olivier Roy
2021 J jnl
A More Unified Approach to Free Logics.
J. Philos. Log.
Edi Pavlovic, Norbert Gratzl
2019 J jnl
Logicality, Double-Line Rules, and Modalities.
Stud Logica
Norbert Gratzl, Eugenio Orlandelli
2019 J jnl
Proof-Theoretic Analysis of the Quantified Argument Calculus.
Rev. Symb. Log.
Edi Pavlovic, Norbert Gratzl
2018 J jnl
Knowledge, belief, normality, and introspection.
Synth.
Dominik Klein, Olivier Roy, Norbert Gratzl
2018 — conf
Open Reading and Free Choice Permission: A Perspective in Substructural Logics.
CLAR
Huimin Dong, Norbert Gratzl, Olivier Roy
2018 J jnl
Truth, Partial Logic and Infinitary Proof Systems.
Stud Logica
Martin Fischer, Norbert Gratzl
2017 J jnl
Two Types of Indefinites: Hilbert & Russell.
FLAP
Norbert Gratzl, Georg Schiemer
2015 J jnl
Incomplete Symbols - Definite Descriptions Revisited.
J. Philos. Log.
Norbert Gratzl
2015 — conf
Introspection, Normality and Agglomeration.
LORI
Dominik Klein, Norbert Gratzl, Olivier Roy
2015 J jnl
Obligation, Free Choice, and the Logic of Weakest Permissions.
Rev. Symb. Log.
Albert J. J. Anglberger, Norbert Gratzl, Olivier Roy
2014 — ch.
The Logic of Best Actions from a Deontic Perspective.
Johan van Benthem on Logic and Information Dynamics
Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl
2013 — conf
Sequent Calculi for Multi-modal Logic with Interaction.
LORI
Norbert Gratzl
2012 — conf
The Logic of Obligation as Weakest Permission - (Short Version).
DEON
Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl
2011 — conf
Definite and Indefinite Descriptions.
TABLEAUX (Workshops, Tutorials, and Short Papers)
Norbert Gratzl
2010 J jnl
A Sequent Calculus for a Negative Free Logic.
Stud Logica
Norbert Gratzl