Conditional quantifier: Difference between revisions

Revision as of 23:50, 13 January 2019

Latest revision as of 09:32, 8 February 2022

(4 intermediate revisions by 2 users not shown)

Line 1:

In [[logic]], a '''conditional quantifier''' is a kind of [[Lindström quantifier]] (or [[generalized quantifier]]) ''Q''_''A'' that, relative to a classical model ''A'', satisfies some or all of the following conditions ("''X''" and "''Y''" range over arbitrary formulas in [[one [[free variable]]):

{|

|-

Line 38:

Serge Lapierre. '''Conditionals and Quantifiers''', in ''Quantifiers, Logic, and Language'', Stanford University, pp. 237–253, 1995.

[[Category:QuantificationQuantifier (logic)]]