A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257): Difference between revisions

@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Glivenko type theorems for intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+MIPC as the formalisation of an intuitionist concept of modality
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and FEP for logics of residuated algebras
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic with Galois connections
+Normal rank
@@ Property / cites work @@
+Characterizing intermediate tense logics in terms of Galois connections
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4981448
@@ Property / cites work: Q4981448 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic axiomatization of the Ewald's intuitionistic tense logic
+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 @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+Glivenko theorems for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Tree-sequent calculi and decision procedures for intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Q2904053
@@ Property / cites work: Q2904053 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating sequent calculi for two intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
+Normal rank
@@ Property / cites work @@
+Maehara-style modal nested calculi
@@ Property / cites work: Maehara-style modal nested calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen sequent calculi for some intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Q5111325
@@ Property / cites work: Q5111325 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal linguistic inference
@@ Property / cites work: Multimodal linguistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Glivenko theorems revisited
@@ Property / cites work: Glivenko theorems revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4942002
@@ Property / cites work: Q4942002 / rank @@
+Normal rank