Non-classical elegance for sequent calculus enthusiasts (Q519853): Difference between revisions

@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993251
@@ Property / cites work: Q3993251 / rank @@
+Normal rank
@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / rank @@
+Normal rank
@@ Property / cites work @@
+HOW A SEMANTICS FOR TONK SHOULD BE
@@ Property / cites work: HOW A SEMANTICS FOR TONK SHOULD BE / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke and the logic of truth
@@ Property / cites work: Kripke and the logic of truth / 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 @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free sequent system for two-dimensional modal logic, and why it matters
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank