Completeness and interpolation of almost-everywhere quantification over finitely additive measures
From MaRDI portal
Publication:2856634
DOI10.1002/malq.201110051zbMath1295.03022OpenAlexW1590038163MaRDI QIDQ2856634
João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas
Publication date: 30 October 2013
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201110051
Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An analysis of first-order logics of probability
- A logic for default reasoning
- On the logic of few, many, and most
- Truth and entailment for a vague quantifier
- The logic of 'almost all'
- Directions in generalized quantifier theory
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Rank Hierarchies for Generalized Quantifiers
- On a generalization of quantifiers
- Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
- Almost everywhere elimination of probability quantifiers
- Generalized quantifiers and natural language
- Generalized Quantifiers and Compact Logic
- Axioms for abstract model theory
- Some model theory for monotone quantifiers
- Stationary logic
- Ideal models and some not so ideal problems in the model theory of L(Q)
- Barwise: Abstract Model Theory and Generalized Quantifiers
- The completeness of logic with the added quantifier "there are uncountable many"
- Skolem-type normal forms for first-order languages with a generalized quantifier
- Logic with the quantifier “there exist uncountably many”
- The hierarchy theorem for generalized quantifiers
This page was built for publication: Completeness and interpolation of almost-everywhere quantification over finitely additive measures
