We stand with Ukraine  

Norbert Gratzl

Orcid: 0000-0002-0660-6527

According to our database1, Norbert Gratzl authored at least 20 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Decidable Fragments of the Quantified Argument Calculus.
[BibTeX]
[DOI]
Edi Pavlovic
,
Norbert Gratzl
Rev. Symb. Log., 2024

2023
Is, Ought, and Cut.
[BibTeX]
[DOI]
Norbert Gratzl
,
Edi Pavlovic
J. Philos. Log., August, 2023

Abstract Forms of Quantification in the Quantified Argument Calculus.
[BibTeX]
[DOI]
Edi Pavlovic
,
Norbert Gratzl
Rev. Symb. Log., June, 2023

Neutral Free Logic: Motivation, Proof Theory and Models.
[BibTeX]
[DOI]
Edi Pavlovic
,
Norbert Gratzl
J. Philos. Log., April, 2023

2022
Priority Merge and Intersection Modalities.
[BibTeX]
[DOI]
Zoé Christoff
,
Norbert Gratzl
,
Olivier Roy
Rev. Symb. Log., 2022

2021
A More Unified Approach to Free Logics.
[BibTeX]
[DOI]
Edi Pavlovic
,
Norbert Gratzl
J. Philos. Log., 2021

2019
Logicality, Double-Line Rules, and Modalities.
[BibTeX]
[DOI]
Norbert Gratzl
,
Eugenio Orlandelli
Stud Logica, 2019

Proof-Theoretic Analysis of the Quantified Argument Calculus.
[BibTeX]
[DOI]
Edi Pavlovic
,
Norbert Gratzl
Rev. Symb. Log., 2019

2018
Knowledge, belief, normality, and introspection.
[BibTeX]
[DOI]
Dominik Klein
,
Olivier Roy
,
Norbert Gratzl
Synth., 2018

Truth, Partial Logic and Infinitary Proof Systems.
[BibTeX]
[DOI]
Martin Fischer
,
Norbert Gratzl
Stud Logica, 2018

Open Reading and Free Choice Permission: A Perspective in Substructural Logics.
[BibTeX]
[DOI]
Huimin Dong
,
Norbert Gratzl
,
Olivier Roy
Proceedings of the Dynamics, 2018

2017
Two Types of Indefinites: Hilbert & Russell.
[BibTeX]
[DOI]
Norbert Gratzl
,
Georg Schiemer
FLAP, 2017

2015
Obligation, Free Choice, and the Logic of Weakest Permissions.
[BibTeX]
[DOI]
Albert J. J. Anglberger
,
Norbert Gratzl
,
Olivier Roy
Rev. Symb. Log., 2015

Incomplete Symbols - Definite Descriptions Revisited.
[BibTeX]
[DOI]
Norbert Gratzl
J. Philos. Log., 2015

Introspection, Normality and Agglomeration.
[BibTeX]
[DOI]
Dominik Klein
,
Norbert Gratzl
,
Olivier Roy
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014
The Logic of Best Actions from a Deontic Perspective.
[BibTeX]
[DOI]
Olivier Roy
,
Albert J. J. Anglberger
,
Norbert Gratzl
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Sequent Calculi for Multi-modal Logic with Interaction.
[BibTeX]
[DOI]
Norbert Gratzl
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2012
The Logic of Obligation as Weakest Permission - (Short Version).
[BibTeX]
[DOI]
Olivier Roy
,
Albert J. J. Anglberger
,
Norbert Gratzl
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011
Definite and Indefinite Descriptions.
[BibTeX]
Norbert Gratzl
Proceedings of the TABLEAUX 2011, 2011

2010
A Sequent Calculus for a Negative Free Logic.
[BibTeX]
[DOI]
Norbert Gratzl
Stud Logica, 2010


  Loading...