Directions in generalized quantifier theory (Q1908858): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and admissible sets
@@ Property / cites work: Infinitary logic and admissible sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Hanf number of second order logic
@@ Property / cites work: The Hanf number of second order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Absolute logics and L∞ω
@@ Property / cites work: Absolute logics and L∞ω / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Questions about quantifiers
@@ Property / cites work: Questions about quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Essays in logical semantics
@@ Property / cites work: Essays in logical semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992551
@@ Property / cites work: Q3992551 / rank @@
+Normal rank
@@ Property / cites work @@
+Polyadic quantifiers
@@ Property / cites work: Polyadic quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Q3693461
@@ Property / cites work: Q3693461 / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing universal properties of quantifiers
@@ Property / cites work: Axiomatizing universal properties of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic interpretation and Hoare deduction
@@ Property / cites work: Dynamic interpretation and Hoare deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+On existence proofs of Hanf numbers
@@ Property / cites work: On existence proofs of Hanf numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic predicate logic
@@ Property / cites work: Dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability hierarchies of generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Logical hierarchies in PTIME
@@ Property / cites work: Logical hierarchies in PTIME / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395556
@@ Property / cites work: Q4395556 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and modal logic
@@ Property / cites work: Generalized quantifiers and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for first order discourse representation structures
+Normal rank
@@ Property / cites work @@
+Q5753937
@@ Property / cites work: Q5753937 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond the frege boundary
@@ Property / cites work: Beyond the frege boundary / rank @@
+Normal rank
@@ Property / cites work @@
+Natural language, sortal reducibility and generalized quantifiers
+Normal rank
@@ Property / cites work @@
+The diversity of quantifier prefixes
@@ Property / cites work: The diversity of quantifier prefixes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875706
@@ Property / cites work: Q4875706 / rank @@
+Normal rank
@@ Property / cites work @@
+Vector spaces and binary quantifiers
@@ Property / cites work: Vector spaces and binary quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250072
@@ Property / cites work: Q4250072 / rank @@
+Normal rank
@@ Property / cites work @@
+On orderings of the family of all logics
@@ Property / cites work: On orderings of the family of all logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702240
@@ Property / cites work: Q2702240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113046
@@ Property / cites work: Q3113046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395562
@@ Property / cites work: Q4395562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525286
@@ Property / cites work: Q4525286 / rank @@
+Normal rank
@@ Property / cites work @@
+δ-Logics and generalized quantifiers
@@ Property / cites work: δ-Logics and generalized quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization of quantifier logics, an introductory overview
+Normal rank
@@ Property / cites work @@
+Intuitionistic categorial grammar
@@ Property / cites work: Intuitionistic categorial grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Q2888505
@@ Property / cites work: Q2888505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342068
@@ Property / cites work: Q4342068 / rank @@
+Normal rank
@@ Property / cites work @@
+Scopeless quantifiers and operators
@@ Property / cites work: Scopeless quantifiers and operators / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01057805
+Normal rank
@@ Property / OpenAlex ID @@
+W2099315605
@@ Property / OpenAlex ID: W2099315605 / rank @@
+Normal rank