Modular sequent calculi for classical modal logics (Q2350219): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-014-9556-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2058636048
@@ Property / OpenAlex ID: W2058636048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and countermodels in non-classical logics
@@ Property / cites work: Proofs and countermodels in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688815
@@ Property / cites work: Q5688815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518916
@@ Property / cites work: Q4518916 / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+Q3435245
@@ Property / cites work: Q3435245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3105688
@@ Property / cites work: Q3105688 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal monomodal logics can simulate all others
@@ Property / cites work: Normal monomodal logics can simulate all others / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi and decision procedures for weak modal systems
+Normal rank
@@ Property / cites work @@
+Universal grammar
@@ Property / cites work: Universal grammar / 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 @@
+Q3101107
@@ Property / cites work: Q3101107 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis beyond geometric theories: from rule systems to systems of rules
+Normal rank
@@ Property / cites work @@
+Structural proof theory. With an appendix by Aarne Ranta
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4047529
@@ Property / cites work: Q4047529 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2350219