MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018): Difference between revisions

@@ Property / describes a project that uses @@
+Prolog
@@ Property / describes a project that uses: Prolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NESCOND
@@ Property / describes a project that uses: NESCOND / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+leanTAP
@@ Property / describes a project that uses: leanTAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TABLEAUX
@@ Property / describes a project that uses: TABLEAUX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-51054-1_25
+Normal rank
@@ Property / OpenAlex ID @@
+W3017391521
@@ Property / OpenAlex ID: W3017391521 / rank @@
+Normal rank
@@ Property / cites work @@
+On Nested Sequents for Constructive Modal Logics
@@ Property / cites work: On Nested Sequents for Constructive Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+lean\(T^ AP\): Lean tableau-based deduction
@@ Property / cites work: lean\(T^ AP\): Lean tableau-based deduction / 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 @@
+TABLEAUX: A general theorem prover for modal logics
+Normal rank
@@ Property / cites work @@
+Focused and Synthetic Nested Sequents
@@ Property / cites work: Focused and Synthetic Nested Sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Focused Proof Systems for Intuitionistic Modal Logics
+Normal rank
@@ Property / cites work @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+Label-Free Proof Systems for Intuitionistic Modal Logic IS5
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904053
@@ Property / cites work: Q2904053 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent calculi for some tense logics
@@ Property / cites work: Cut-free sequent calculi for some tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Maehara-style modal nested calculi
@@ Property / cites work: Maehara-style modal nested calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Combining monotone and normal modal logic in nested sequents -- with countermodels
+Normal rank
@@ Property / cites work @@
+Modularisation of Sequent Calculi for Normal and Non-normal Modalities
+Normal rank
@@ Property / cites work @@
+Eine Darstellung der Intuitionistischen Logik in der Klassischen
+Normal rank
@@ Property / cites work @@
+Q4636304
@@ Property / cites work: Q4636304 / rank @@
+Normal rank
@@ Property / cites work @@
+NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics
+Normal rank
@@ Property / cites work @@
+The Method of Tree-Hypersequents for Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5049018