Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201): Difference between revisions

@@ Property / cites work @@
+Symbolic Representations of the Post-apartheid University
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+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 @@
+A modal extension of intuitionist logic
@@ Property / cites work: A modal extension of intuitionist logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new S4 classical modal logic in natural deduction
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for MIPQ and some consequences
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Method of Tree-Hypersequents for Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Fitch-style rules for many modal logics
@@ Property / cites work: Fitch-style rules for many modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank