CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667): Difference between revisions

@@ Property / cites work @@
+A cut-free Gentzen formulation of the modal logic S5
+Normal rank
@@ Property / cites work @@
+Deep sequent systems for modal logic
@@ Property / cites work: Deep sequent systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents
+Normal rank
@@ Property / cites work @@
+Q5413334
@@ Property / cites work: Q5413334 / rank @@
+Normal rank
@@ Property / cites work @@
+LINEAR TIME IN HYPERSEQUENT FRAMEWORK
@@ Property / cites work: LINEAR TIME IN HYPERSEQUENT FRAMEWORK / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
+Normal rank
@@ Property / cites work @@
+CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
+Normal rank
@@ Property / cites work @@
+Q5224582
@@ Property / cites work: Q5224582 / rank @@
+Normal rank
@@ Property / cites work @@
+From Frame Properties to Hypersequent Rules in Modal Logics
+Normal rank
@@ Property / cites work @@
+Linear Nested Sequents, 2-Sequents and Hypersequents
+Normal rank
@@ Property / cites work @@
+Modularisation of Sequent Calculi for Normal and Non-normal Modalities
+Normal rank
@@ Property / cites work @@
+-sequent calculus: A proof theory of modalities
@@ Property / cites work: 2-sequent calculus: A proof theory of modalities / rank @@
+Normal rank
@@ Property / cites work @@
+On some calculi of modal logic
@@ Property / cites work: On some calculi of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958434
@@ Property / cites work: Q3958434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Truth values and proof theory
@@ Property / cites work: Truth values and proof theory / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3043920080
@@ Property / OpenAlex ID: W3043920080 / rank @@
+Normal rank