On classical behavior of intuitionistic modalities (Q2987729): Difference between revisions

@@ Property / author @@
+Sergey Drobyshevich
@@ Property / author: Sergey Drobyshevich / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / 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 @@
+Q3218105
@@ Property / cites work: Q3218105 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for stronger normal intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Double Negation Operator in Logic N ∗
@@ Property / cites work: Double Negation Operator in Logic N ∗ / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of an intuitionistic negation and negative modalities as a necessity operator
+Normal rank
@@ Property / cites work @@
+Finite model property for negative modalities
@@ Property / cites work: Finite model property for negative modalities / 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 @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+Modality and possibility in some intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q3900023
@@ Property / cites work: Q3900023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3033739
@@ Property / cites work: Q3033739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948690
@@ Property / cites work: Q4948690 / rank @@
+Normal rank