A dual-context sequent calculus for the constructive modal logic S4 (Q5889308): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / 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.1017/s0960129522000378
+Normal rank
@@ Property / OpenAlex ID @@
+W4309791347
@@ Property / OpenAlex ID: W4309791347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+Loop-free calculus for modal logic S4. I
@@ Property / cites work: Loop-free calculus for modal logic S4. I / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4627753
@@ Property / cites work: Q4627753 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Abstract Argumentation
@@ Property / cites work: A Logic of Abstract Argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive Logic for Services and Information Flow in Computer Networks
+Normal rank
@@ Property / cites work @@
+Q5802120
@@ Property / cites work: Q5802120 / rank @@
+Normal rank
@@ Property / cites work @@
+The elimination theorem when modality is present
@@ Property / cites work: The elimination theorem when modality is present / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+On modal logic with an intuitionistic base
@@ Property / cites work: On modal logic with an intuitionistic base / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic and dual systems for constructive necessity, a formally verified equivalence
+Normal rank
@@ Property / cites work @@
+Dual and axiomatic systems for constructive S4, a formally verified equivalence
+Normal rank
@@ Property / cites work @@
+Does the deduction theorem fail for modal logic?
@@ Property / cites work: Does the deduction theorem fail for modal logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
+Normal rank
@@ Property / cites work @@
+Q5119390
@@ Property / cites work: Q5119390 / rank @@
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360856
@@ Property / cites work: Q4360856 / rank @@
+Normal rank
@@ Property / cites work @@
+On interactive proof-search for constructive modal necessity
+Normal rank
@@ Property / cites work @@
+Logical Mobility and Locality Types
@@ Property / cites work: Logical Mobility and Locality Types / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural cut elimination. I: Intuitionistic and classical logic
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5889308