On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747): Difference between revisions

@@ Property / cites work @@
+A general method for proving decidability of intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Bi-simulating in bi-intuitionistic logic
@@ Property / cites work: Bi-simulating in bi-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687548
@@ Property / cites work: Q5687548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
+Normal rank
@@ Property / cites work @@
+Model-theoretic characterization of intuitionistic predicate formulas
+Normal rank
@@ Property / cites work @@
+Q4942002
@@ Property / cites work: Q4942002 / rank @@
+Normal rank