Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tableau Calculi for CSL over minspaces, , , and . CSL, page 52-66. (2010)Conditional reasoning in logic programming., , , , and . J. Log. Program., 44 (1-3): 37-74 (2000)A Semantics for Rational Closure: Preliminary Results., , , and . CILC, volume 1068 of CEUR Workshop Proceedings, page 99-113. CEUR-WS.org, (2013)A natural sequent calculus for Lewis' logic of counterfactuals., and . CILC, volume 1459 of CEUR Workshop Proceedings, page 13-18. CEUR-WS.org, (2015)Minimal models for rational closure in SHIQ., , , and . ICTCS, volume 1231 of CEUR Workshop Proceedings, page 271-277. CEUR-WS.org, (2014)Resolution Calculi for Non-normal Modal Logics., , and . TABLEAUX, volume 14278 of Lecture Notes in Computer Science, page 322-341. Springer, (2023)Theorem Proving for Non-normal Modal Logics., , , and . OVERLAY, volume 2785 of CEUR Workshop Proceedings, page 17-22. CEUR-WS.org, (2020)Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together., , and . AI*IA, volume 13796 of Lecture Notes in Computer Science, page 345-357. Springer, (2022)Cut-free proof systems for logics of weak excluded middle., , and . Soft Comput., 2 (4): 147-156 (1998)A Conditional Logic for Belief Revision., , and . JELIA, volume 1489 of Lecture Notes in Computer Science, page 294-308. Springer, (1998)