A general proof certification framework for modal logic (Q5236558): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10257
@@ Property / arXiv ID: 1810.10257 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Free-variable tableaux for propositional modal logics
+Normal rank
@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+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 @@
+Focused and Synthetic Nested Sequents
@@ Property / cites work: Focused and Synthetic Nested Sequents / rank @@
+Normal rank
@@ Property / cites work @@
+The Proof Certifier Checkers
@@ Property / cites work: The Proof Certifier Checkers / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic framework for proof evidence
@@ Property / cites work: A semantic framework for proof evidence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau methods of proof for modal logics
@@ Property / cites work: Tableau methods of proof for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Prefixed tableaus and nested sequents
@@ Property / cites work: Prefixed tableaus and nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419884
@@ Property / cites work: Q5419884 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+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 @@
+Linear Nested Sequents, 2-Sequents and Hypersequents
+Normal rank
@@ Property / cites work @@
+Proof Search in Nested Sequent Calculi
@@ Property / cites work: Proof Search in Nested Sequent Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Q5015283
@@ Property / cites work: Q5015283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636050
@@ Property / cites work: Q4636050 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Focused Labeled Proof Systems for Modal Logic
@@ Property / cites work: Focused Labeled Proof Systems for Modal Logic / 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 @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483015
@@ Property / cites work: Q5483015 / rank @@
+Normal rank