Norbert Gratzl

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 11

Top Topics

Method For Automatically Generating

Automated Theorem Provers

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Publications

Edi Pavlovic, Norbert Gratzl
Neutral Free Logic: Motivation, Proof Theory and Models. J. Philos. Log. 52 (2) (2023)
Edi Pavlovic, Norbert Gratzl
Abstract Forms of Quantification in the Quantified Argument Calculus. Rev. Symb. Log. 16 (2) (2023)
Norbert Gratzl, Edi Pavlovic
Is, Ought, and Cut. J. Philos. Log. 52 (4) (2023)
Zoé Christoff, Norbert Gratzl, Olivier Roy
Priority Merge and Intersection Modalities. Rev. Symb. Log. 15 (1) (2022)
Edi Pavlovic, Norbert Gratzl
A More Unified Approach to Free Logics. J. Philos. Log. 50 (1) (2021)
Norbert Gratzl, Eugenio Orlandelli
Logicality, Double-Line Rules, and Modalities. Stud Logica 107 (1) (2019)
Edi Pavlovic, Norbert Gratzl
Proof-Theoretic Analysis of the Quantified Argument Calculus. Rev. Symb. Log. 12 (4) (2019)
Huimin Dong, Norbert Gratzl, Olivier Roy
Open Reading and Free Choice Permission: A Perspective in Substructural Logics. CLAR (2018)
Dominik Klein, Olivier Roy, Norbert Gratzl
Knowledge, belief, normality, and introspection. Synth. 195 (10) (2018)
Martin Fischer, Norbert Gratzl
Truth, Partial Logic and Infinitary Proof Systems. Stud Logica 106 (3) (2018)
Norbert Gratzl, Georg Schiemer
Two Types of Indefinites: Hilbert & Russell. FLAP 4 (2) (2017)
Albert J. J. Anglberger, Norbert Gratzl, Olivier Roy
Obligation, Free Choice, and the Logic of Weakest Permissions. Rev. Symb. Log. 8 (4) (2015)
Dominik Klein, Norbert Gratzl, Olivier Roy
Introspection, Normality and Agglomeration. LORI (2015)
Norbert Gratzl
Incomplete Symbols - Definite Descriptions Revisited. J. Philos. Log. 44 (5) (2015)
Norbert Gratzl
Sequent Calculi for Multi-modal Logic with Interaction. LORI (2013)
Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl
The Logic of Obligation as Weakest Permission - (Short Version). DEON (2012)
Norbert Gratzl
Definite and Indefinite Descriptions. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Norbert Gratzl
A Sequent Calculus for a Negative Free Logic. Stud Logica 96 (3) (2010)