A Lindström theorem for intuitionistic first-order logic (Q6076364): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2023.103346
@@ Property / DOI: 10.1016/j.apal.2023.103346 / rank @@
-Normal rank
@@ Property / cites work @@
+A Lindström theorem for intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+A general Lindström theorem for some normal modal logics
+Normal rank
@@ Property / cites work @@
+Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109641
@@ Property / cites work: Q4109641 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantification in nonclassical logic. Volume I.
@@ Property / cites work: Quantification in nonclassical logic. Volume I. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311054
@@ Property / cites work: Q5311054 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating without Negation
@@ Property / cites work: Simulating without Negation / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Characterizing Elementary Logic
@@ Property / cites work: On Characterizing Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting uncountable types and extensions of Elementary logic
+Normal rank
@@ Property / cites work @@
+Infinitary intuitionistic logic from a classical point of view
+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 @@
+On generalized van Benthem-type characterizations
@@ Property / cites work: On generalized van Benthem-type characterizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085171
@@ Property / cites work: Q3085171 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for an extension of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A new modal Lindström theorem
@@ Property / cites work: A new modal Lindström theorem / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic: frame definability and a Lindström theorem
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2023.103346
@@ Property / DOI: 10.1016/J.APAL.2023.103346 / rank @@
+Normal rank