scientific article
From MaRDI portal
Publication:3113046
zbMath1230.03072MaRDI QIDQ3113046
Publication date: 7 February 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (98)
On second-order generalized quantifiers and finite structures ⋮ GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ On orderings of the family of all logics ⋮ Dependence logic with generalized quantifiers: axiomatizations ⋮ LOGICALITY AND MODEL CLASSES ⋮ Unnamed Item ⋮ The structure of generalized intermediate syllogisms ⋮ Logic of temporal attribute implications ⋮ Restriction by noncontraction ⋮ Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \) ⋮ A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Dependence logic with a majority quantifier ⋮ A double team semantics for generalized quantifiers ⋮ Generalized quantifiers and pebble games on finite structures ⋮ Model theory of monadic predicate logic with the infinity quantifier ⋮ Logical constants in quantifier languages ⋮ Directions in generalized quantifier theory ⋮ Henkin and function quantifiers ⋮ Modal ontology and generalized quantifiers ⋮ Question answering and database querying: bridging the gap with generalized quantification ⋮ On the relation between fuzzy and generalized quantifiers ⋮ Capturing MSO with One Quantifier ⋮ An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers ⋮ Logics of Finite Hankel Rank ⋮ A Uniform Framework for Rough Approximations Based on Generalized Quantifiers ⋮ A Dichotomy Result for Ramsey Quantifiers ⋮ Unnamed Item ⋮ Extensions of MSO and the monadic counting hierarchy ⋮ Convexity and monotonicity in language coordination: simulating the emergence of semantic universals in populations of cognitive agents ⋮ Fuzzy quantifiers defined over fuzzy domains ⋮ Stable-unstable semantics: Beyond NP with normal logic programs ⋮ On vectorizations of unary generalized quantifiers ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ Human Thought, Mathematics, and Physical Discovery ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ On Second-Order Monadic Groupoidal Quantifiers ⋮ On Barwise and Cooper’s “Generalized Quantifiers and Natural Language” ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Homomorphisms from Functional Equations in Probability ⋮ Invariance and definability, with and without equality ⋮ Major parts of speech ⋮ Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy ⋮ All Quantifiers Versus the Quantifier All ⋮ Categories of First-Order Quantifiers ⋮ Positive logics ⋮ Preferential accessibility and preferred worlds ⋮ Interactive semantic alignment model: social influence and local transmission bottleneck ⋮ Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information ⋮ Aristotelian syllogisms and generalized quantifiers ⋮ Characterizing polynomial Ramsey quantifiers ⋮ Structural logic and abstract elementary classes with intersections ⋮ Extensional Uniformity for Boolean Circuits ⋮ A characterization of definability of second-order generalized quantifiers with applications to non-definability ⋮ Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy ⋮ Absolute Generality and Semantic Pessimism ⋮ Quantifiers. Hintikka and Frege on Quantification Concepts ⋮ Quantitative Logic Reasoning ⋮ Syllogistic Logic with Cardinality Comparisons ⋮ On the expressive power of counting ⋮ Partially-ordered (branching) generalized quantifiers: A general definition ⋮ Inner models from extended logics: Part 1 ⋮ The Square of Opposition and Generalized Quantifiers ⋮ Generalized quantifiers in dependence logic ⋮ Definability of second order generalized quantifiers ⋮ Variational principles for parabolic equations ⋮ Modeling the concept of majority opinion in group decision making ⋮ Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality ⋮ Some properties of iterated languages ⋮ The Skolem-Löwenheim theorem in toposes ⋮ Linguistic quantifiers based on Choquet integrals ⋮ The descriptive complexity approach to LOGCFL ⋮ Old and new identities for Bernoulli polynomials via Fourier series ⋮ Unnamed Item ⋮ A remark on collective quantification ⋮ The Computational Complexity of Quantified Reciprocals ⋮ Sameness ⋮ Unnamed Item ⋮ Generalized fuzzy quantifiers and the modeling of fuzzy branching quantification ⋮ The Craig interpolation theorem in abstract model theory ⋮ On simplicity of formulas ⋮ On General Properties of Intermediate Quantifiers ⋮ Symmetric propositions and logical quantifiers ⋮ Definability hierarchies of generalized quantifiers ⋮ Introducing Role Defeasibility in Description Logics ⋮ Polyadic quantifiers ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ Generalized Quantifiers and Compact Logic ⋮ An overview of fuzzy quantifiers. I. Interpretations ⋮ \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures ⋮ Topological model theory with an interior operator: Consistency properties and back — and forth arguments ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures ⋮ Most-intersection of countable sets ⋮ The Skolem-Löwenheim theorem in toposes. II ⋮ Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples ⋮ Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures defined on residuated lattices. II: Permutation and isomorphism invariances
This page was built for publication: