| Publication | Date of Publication | Type |
|---|
| Proof theory for the logics of bringing-it-about: ability, coalitions and means-end relationship | 2024-11-12 | Paper |
| Automated deduction | 2024-09-11 | Paper |
| Analytic proof theory for Åqvist's system F | 2024-08-05 | Paper |
| Resolution calculi for non-normal modal logics | 2024-05-17 | Paper |
| Internal and External Calculi: Ordering the Jungle without Being Lost in Translations | 2023-12-06 | Paper |
| Towards an intuitionistic deontic logic tolerating conflicting obligations | 2023-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878367 | 2023-02-21 | Paper |
| HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) | 2022-11-09 | Paper |
| Hypothetical updates, priority and inconsistency in a logic programming language | 2022-08-30 | Paper |
| Terminating calculi and countermodels for constructive modal logics | 2022-05-25 | Paper |
| Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning | 2022-03-09 | Paper |
| Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity | 2022-02-08 | Paper |
| Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics | 2021-09-22 | Paper |
| Intuitionistic non-normal modal logics: a general framework | 2021-05-06 | Paper |
| Countermodel construction via optimal hypersequent calculi for non-normal modal logics | 2020-05-06 | Paper |
| Nested sequents for the logic of conditional belief | 2020-02-18 | Paper |
| A Multi-engine Theorem Prover for a Description Logic of Typicality | 2020-02-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224565 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224572 | 2019-07-24 | Paper |
| A sequent calculus for skeptical Default Logic | 2019-01-15 | Paper |
| CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS | 2018-11-29 | Paper |
| Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆 | 2018-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636042 | 2018-04-23 | Paper |
| Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity | 2018-02-02 | Paper |
| VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning | 2018-02-02 | Paper |
| Sequent and hypersequent calculi for abelian and łukasiewicz logics | 2017-07-12 | Paper |
| A sequent calculus and a theorem prover for standard conditional logics | 2017-07-12 | Paper |
| Sequent calculi for propositional nonmonotonic logics | 2017-06-13 | Paper |
| Standard Sequent Calculi for Lewis’ Logics of Counterfactuals | 2016-11-30 | Paper |
| CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity | 2016-08-05 | Paper |
| Nested sequent calculi for normal conditional logics | 2016-04-28 | Paper |
| Semantic characterization of rational closure: from propositional logic to description logics | 2015-12-18 | Paper |
| A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics | 2015-12-11 | Paper |
| A Standard Internal Calculus for Lewis’ Counterfactual Logics | 2015-12-11 | Paper |
| Analytic tableaux calculi for KLM logics of nonmonotonic reasoning | 2015-09-17 | Paper |
| Tableau calculus for preference-based conditional logics | 2015-09-17 | Paper |
| NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics | 2014-09-26 | Paper |
| A non-monotonic description logic for reasoning about typicality | 2013-08-26 | Paper |
| Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models | 2012-09-21 | Paper |
| Nested Sequent Calculi for Conditional Logics | 2012-09-21 | Paper |
| A Minimal Model Semantics for Nonmonotonic Reasoning | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012533 | 2011-07-06 | Paper |
| CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces | 2011-07-01 | Paper |
| A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ | 2011-07-01 | Paper |
| Towards a Proof Theory of G\"odel Modal Logics | 2011-05-26 | Paper |
| Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces | 2010-10-12 | Paper |
| A Nonmonotonic Extension of KLM Preferential Logic P | 2010-10-12 | Paper |
| Tableau Calculi for $\mathcal{CSL}$ over minspaces | 2010-09-03 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| ALC + T: a Preferential Extension of Description Logics | 2010-02-05 | Paper |
| Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus | 2009-12-01 | Paper |
| Proof Systems for a Gödel Modal Logic | 2009-12-01 | Paper |
| Theorem proving for conditional logics: CondLean and GOALDUCK | 2009-11-11 | Paper |
| Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results | 2009-11-10 | Paper |
| Proof theory for fuzzy logics | 2009-01-26 | Paper |
| Analytic Tableau Calculi for KLM Rational Logic R | 2008-10-30 | Paper |
| Reasoning about Typicality in Preferential Description Logics | 2008-10-27 | Paper |
| Analytic Tableaux for KLM Preferential and Cumulative Logics | 2008-05-27 | Paper |
| Preferential Description Logics | 2008-05-15 | Paper |
| Weak AGM postulates and strong Ramsey test: A logical formalization | 2007-10-23 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| Łukasiewicz Logic: From Proof Systems To Logic Programming | 2006-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702666 | 2005-11-02 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021911 | 2005-06-21 | Paper |
| Analytic calculi for product logics | 2005-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448378 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412860 | 2003-07-17 | Paper |
| Tableaux for Łukasiewicz infinite-valued logic | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799257 | 2003-03-18 | Paper |
| Iterated belief revision and conditional logic | 2002-06-24 | Paper |
| Goal-directed proof theory | 2002-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753603 | 2001-11-14 | Paper |
| Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication | 2001-06-13 | Paper |
| Conditional reasoning in logic programming | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246975 | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218925 | 1999-04-08 | Paper |
| Resolution and model building in the infinite-valued calculus of Łukasiewicz | 1999-03-22 | Paper |
| Combining negation as failure and embedded implications in logic programs | 1999-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893673 | 1997-01-02 | Paper |
| Tableaux and sequent calculus for minimal entailment | 1994-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4295825 | 1994-07-11 | Paper |
