Labelled calculi for lattice-based modal logics (Q6132565): Difference between revisions

@@ Property / cites work @@
+Syntactic Completeness of Proper Display Calculi
@@ Property / cites work: Syntactic Completeness of Proper Display Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Rough concepts
@@ Property / cites work: Rough concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Categories: How I Learned to Stop Worrying and Love Two Sorts
+Normal rank
@@ Property / cites work @@
+Q3384065
@@ Property / cites work: Q3384065 / rank @@
+Normal rank
@@ Property / cites work @@
+Unified Correspondence
@@ Property / cites work: Unified Correspondence / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for non-distributive logics
+Normal rank
@@ Property / cites work @@
+Non-distributive logics: from semantics to meaning
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5884955
@@ Property / cites work: Q5884955 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+Q4877294
@@ Property / cites work: Q4877294 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Unified correspondence as a proof-theoretic tool
@@ Property / cites work: Unified correspondence as a proof-theoretic tool / 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 @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled calculi for the logics of rough concepts
@@ Property / cites work: Labelled calculi for the logics of rough concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank