共 50 条
- [23] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic Studia Logica, 2021, 109 : 1347 - 1373
- [24] A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY REVIEW OF SYMBOLIC LOGIC, 2009, 2 (04): : 593 - 611
- [25] A Nonmonotonic Modal Relevant Sequent Calculus LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 570 - 584
- [30] A sequent calculus for skeptical default logic AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 107 - 121