A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655): Difference between revisions

@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on modal sequent logic
@@ Property / cites work: A perspective on modal sequent logic / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen formulation of the modal logic S5
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free modal sequents for normal modal logics
@@ Property / cites work: Cut-free modal sequents for normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems for modal logic
@@ Property / cites work: Sequent-systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229377
@@ Property / cites work: Q4229377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262211
@@ Property / cites work: Q3262211 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed systems of sequents and cut-elimination
@@ Property / cites work: Indexed systems of sequents and cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+Normal rank
@@ Property / cites work @@
+Q5457387
@@ Property / cites work: Q5457387 / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen-type system for the modal logic S5
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Normal Modal Propositional Logics
+Normal rank