Goal-directed proof theory

von Gabbay, Dov M.
Veröffentlicht 2000

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

von Dalmonte, Tiziano
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)

Resolution Calculi for Non-normal Modal Logics

von Pattinson, Dirk
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Terminating Calculi and Countermodels for Constructive Modal Logics

von Dalmonte, Tiziano
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)

von Dalmonte, Tiziano
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

von Dalmonte, Tiziano
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)

Proof theory for fuzzy logics

von Metcalfe, George
Veröffentlicht 2009

Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings

Veröffentlicht 2007

Automated reasoning : 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings

Veröffentlicht 2016