{"version":"1.0","type":"link","title":"Conditional quantifier - Newikis","description":"In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA 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):","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}