Sequent calculi for global modal consequence relations (Q2323632): Difference between revisions

@@ Property / cites work @@
+Proof Theory
@@ Property / cites work: Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789450
@@ Property / cites work: Q4789450 / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Modal sequents and definability
@@ Property / cites work: Modal sequents and definability / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Modal Consequence Relations
@@ Property / cites work: Reducing Modal Consequence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4696006
@@ Property / cites work: Q4696006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4026930
@@ Property / cites work: Q4026930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699355
@@ Property / cites work: Q4699355 / rank @@
+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 @@
+Q3952081
@@ Property / cites work: Q3952081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4032549
@@ Property / cites work: Q4032549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4443189
@@ Property / cites work: Q4443189 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution to a Problem of Goranko and Passy
@@ Property / cites work: Solution to a Problem of Goranko and Passy / rank @@
+Normal rank