| Publication | Date of Publication | Type |
|---|
Proof theory for the logics of bringing-it-about: ability, coalitions and means-end relationship
Journal Of Logic And Computation | 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
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Proof systems for the logics of bringing-it-about
| 2023-02-21 | Paper |
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
Automated Reasoning | 2022-11-09 | Paper |
Hypothetical updates, priority and inconsistency in a logic programming language
Logic Programming and Nonmonotonic Reasoning | 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
Journal Of Logic And Computation | 2022-03-09 | Paper |
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
Journal Of Logic And Computation | 2022-02-08 | Paper |
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
Journal Of Logic And Computation | 2021-09-22 | Paper |
Intuitionistic non-normal modal logics: a general framework
Journal of Philosophical Logic | 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
Lecture Notes in Computer Science | 2020-02-10 | Paper |
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
| 2019-07-24 | Paper |
scientific article; zbMATH DE number 7084838 (Why is no real title available?)
| 2019-07-24 | Paper |
A sequent calculus for skeptical Default Logic
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Conditional beliefs: from neighbourhood semantics to sequent calculus
The Review of Symbolic Logic | 2018-11-29 | Paper |
Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
Fundamenta Informaticae | 2018-05-03 | Paper |
scientific article; zbMATH DE number 6863652 (Why is no real title available?)
| 2018-04-23 | Paper |
VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
| 2018-02-02 | Paper |
Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity
| 2018-02-02 | Paper |
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Standard sequent calculi for Lewis' logics of counterfactuals
Logics in Artificial Intelligence | 2016-11-30 | Paper |
CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Nested sequent calculi for normal conditional logics
Journal of Logic and Computation | 2016-04-28 | Paper |
Semantic characterization of rational closure: from propositional logic to description logics
Artificial Intelligence | 2015-12-18 | Paper |
A standard internal calculus for Lewis' counterfactual logics
Lecture Notes in Computer Science | 2015-12-11 | Paper |
A sequent calculus for preferential conditional logic based on neighbourhood semantics
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Tableau calculus for preference-based conditional logics, PCL and its extensions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
NESCOND: an implementation of nested sequent calculi for conditional logics
Automated Reasoning | 2014-09-26 | Paper |
A non-monotonic description logic for reasoning about typicality
Artificial Intelligence | 2013-08-26 | Paper |
A Minimal Model Semantics for Nonmonotonic Reasoning
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Nested sequent calculi for conditional logics
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
Logics in Artificial Intelligence | 2012-09-21 | Paper |
scientific article; zbMATH DE number 5917720 (Why is no real title available?)
| 2011-07-06 | Paper |
A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
Lecture Notes in Computer Science | 2011-07-01 | Paper |
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
Lecture Notes in Computer Science | 2011-07-01 | Paper |
Towards a proof theory of Gödel modal logics
Logical Methods in Computer Science | 2011-05-26 | Paper |
Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
A nonmonotonic extension of KLM preferential logic P
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Tableau calculi for \(\mathcal{CSL}\) over minspaces
Computer Science Logic | 2010-09-03 | Paper |
Tableau calculi for preference-based conditional logics
Lecture Notes in Computer Science | 2010-03-09 | Paper |
CondLean: a theorem prover for conditional logics
Lecture Notes in Computer Science | 2010-03-09 | Paper |
\({\mathcal{ALC}}+T\): a preferential extension of description logics
Fundamenta Informaticae | 2010-02-05 | Paper |
Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Proof systems for a Gödel modal logic
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Theorem proving for conditional logics: CondLean and GOALDUCK
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Proof theory for fuzzy logics
Applied Logic Series | 2009-01-26 | Paper |
Analytic Tableau Calculi for KLM Rational Logic R
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Reasoning about Typicality in Preferential Description Logics
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Analytic Tableaux for KLM Preferential and Cumulative Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Preferential Description Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Weak AGM postulates and strong Ramsey test: A logical formalization
Artificial Intelligence | 2007-10-23 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Łukasiewicz Logic: From Proof Systems To Logic Programming
Logic Journal of the IGPL | 2006-01-18 | Paper |
scientific article; zbMATH DE number 2222017 (Why is no real title available?)
| 2005-11-02 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
scientific article; zbMATH DE number 2177629 (Why is no real title available?)
| 2005-06-21 | Paper |
Analytic calculi for product logics
Archive for Mathematical Logic | 2005-02-11 | Paper |
scientific article; zbMATH DE number 2044514 (Why is no real title available?)
| 2004-02-18 | Paper |
scientific article; zbMATH DE number 1950262 (Why is no real title available?)
| 2003-07-17 | Paper |
Tableaux for Łukasiewicz infinite-valued logic
Studia Logica | 2003-04-27 | Paper |
scientific article; zbMATH DE number 1884356 (Why is no real title available?)
| 2003-03-18 | Paper |
Iterated belief revision and conditional logic
Studia Logica | 2002-06-24 | Paper |
Goal-directed proof theory
Applied Logic Series | 2002-02-25 | Paper |
Tableaux for nonmonotonic logics
| 2001-11-14 | Paper |
Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication
Studia Logica | 2001-06-13 | Paper |
Conditional reasoning in logic programming
The Journal of Logic Programming | 2000-05-25 | Paper |
scientific article; zbMATH DE number 1301760 (Why is no real title available?)
| 2000-01-12 | Paper |
scientific article; zbMATH DE number 1223614 (Why is no real title available?)
| 1999-04-08 | Paper |
Resolution and model building in the infinite-valued calculus of Łukasiewicz
Theoretical Computer Science | 1999-03-22 | Paper |
Combining negation as failure and embedded implications in logic programs
The Journal of Logic Programming | 1999-03-07 | Paper |
scientific article; zbMATH DE number 928020 (Why is no real title available?)
| 1997-01-02 | Paper |
Tableaux and sequent calculus for minimal entailment
Journal of Automated Reasoning | 1994-09-01 | Paper |
scientific article; zbMATH DE number 589696 (Why is no real title available?)
| 1994-07-11 | Paper |
