Norbert Gratzl

Orcid: 0000-0002-0660-6527

According to our database1, Norbert Gratzl authored at least 19 papers between 2010 and 2023.

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

2023
Is, Ought, and Cut.
J. Philos. Log., August, 2023

Abstract Forms of Quantification in the Quantified Argument Calculus.
Rev. Symb. Log., June, 2023

Neutral Free Logic: Motivation, Proof Theory and Models.
J. Philos. Log., April, 2023

2022
Priority Merge and Intersection Modalities.
Rev. Symb. Log., 2022

2021
A More Unified Approach to Free Logics.
J. Philos. Log., 2021

2019
Logicality, Double-Line Rules, and Modalities.
Stud Logica, 2019

Proof-Theoretic Analysis of the Quantified Argument Calculus.
Rev. Symb. Log., 2019

2018
Knowledge, belief, normality, and introspection.
Synth., 2018

Truth, Partial Logic and Infinitary Proof Systems.
Stud Logica, 2018

Open Reading and Free Choice Permission: A Perspective in Substructural Logics.
Proceedings of the Dynamics, 2018

2017
Two Types of Indefinites: Hilbert & Russell.
FLAP, 2017

2015
Obligation, Free Choice, and the Logic of Weakest Permissions.
Rev. Symb. Log., 2015

Incomplete Symbols - Definite Descriptions Revisited.
J. Philos. Log., 2015

Introspection, Normality and Agglomeration.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014
The Logic of Best Actions from a Deontic Perspective.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Sequent Calculi for Multi-modal Logic with Interaction.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2012
The Logic of Obligation as Weakest Permission - (Short Version).
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011
Definite and Indefinite Descriptions.
Proceedings of the TABLEAUX 2011, 2011

2010
A Sequent Calculus for a Negative Free Logic.
Stud Logica, 2010


  Loading...