On Some Applications of Games for Härtig Quantifier
Mathematical Logic Quarterly 33 (4):359-370 (1987)
Abstract
This article has no associated abstract. (fix it)DOI
10.1002/malq.19870330411
My notes
Similar books and articles
The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Mathematical Logic Quarterly 18 (13‐15):227-228.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Hierarchies of monadic generalized quantifiers.Kerkko Luosto - 2000 - Journal of Symbolic Logic 65 (3):1241-1263.
Quantifiers and congruence closure.Jörg Flum, Matthias Schiehlen & Jouko Väänänen - 1999 - Studia Logica 62 (3):315-340.
On the quantifier complexity of Δ n+1 (T)– induction.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (3):371-398.
Deterministic and Nondeterministic Strategies for Hintikka games in First-order and Branching-quantifier logic.Thomas Forster - 2006 - Logique Et Analyse 195:265--9.
Decomposing generalized quantifiers.Dag Westerståhl - 2008 - Review of Symbolic Logic 1 (3):355-371.
Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
Generalized externality games.Paula Corcho & José Luis Ferreira - 2003 - Theory and Decision 54 (2):163-184.
Analytics
Added to PP
2013-12-01
Downloads
4 (#1,240,015)
6 months
1 (#451,971)
2013-12-01
Downloads
4 (#1,240,015)
6 months
1 (#451,971)
Historical graph of downloads
Citations of this work
The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.
