Determiners and logic
From MaRDI portal
Publication:3318752
DOI10.1007/BF00636286zbMath0535.03010OpenAlexW1969064559MaRDI QIDQ3318752
Publication date: 1983
Published in: Linguistics and Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00636286
Related Items
Evaluation of quantified propositions in generalized models of fuzzy quantification ⋮ Not only Barbara ⋮ Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ A Logic for Spatial Reasoning in the Framework of Rough Mereology ⋮ Logical constants in quantifier languages ⋮ Arthur Prior and hybrid logic ⋮ On the lattice of extensions of the modal logics \(KAlt_ n\) ⋮ Hybrid languages ⋮ Nominal comparatives and generalized quantifiers ⋮ Canonicity for intensional logics without iterative axioms ⋮ On the relation between fuzzy and generalized quantifiers ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Russell and his sources for non-classical logics ⋮ On Barwise and Cooper’s “Generalized Quantifiers and Natural Language” ⋮ Modal frame correspondences and fixed-points ⋮ A propositional dynamic logic with qualitative probabilities ⋮ The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many ⋮ Mereology in Engineering and Computer Science ⋮ Geometrical structures and modal logic ⋮ Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Manifest domains: analysis and description ⋮ Expressivity of second order propositional modal logic ⋮ A system of dynamic modal logic ⋮ Guards, bounds, and generalized semantics ⋮ Foundations of conditional logic ⋮ Fuzzy quantification: a state of the art ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
Cites Work
