From Input/Output Logics to Conditional Logics via Sequents – with Provers

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

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)