On Some Applications of Games for Härtig Quantifier

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):359-370 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330411

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.
Decidability with Respect to Härtig Quantifier and Rescher Quantifier.Martin Weese - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):569-576.
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.
Generalized quantifiers and pebble games on finite structures.Phokion G. Kolaitis & Jouko A. Väänänen - 1995 - Annals of Pure and Applied Logic 74 (1):23-75.
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.
Games on Trees and Syntactical Complexity of Formulas.Michał Krynicki & Jose Maria Turull Torres - 2007 - Logic Journal of the IGPL 15 (5-6):653-687.
Die Schedelsche Bibliothek [of Hartmann and Hermann Schedel] Herausg. Von O. Hartig.Richard Joseph P. Stauber, Otto Hartig & Hartmann Schedel - 1908
Three quantifier sentences.Harvey Friedman - manuscript
Ehrenfeucht games and ordinal addition.Françoise Maurin - 1997 - Annals of Pure and Applied Logic 89 (1):53-73.
Reflections on ethics and game theory.Steven T. Kuhn - 2004 - Synthese 141 (1):1 - 44.
Propositional Logic of Imperfect Information: Foundations and Applications.Ahti-Veikko Pietarinen - 2001 - Notre Dame Journal of Formal Logic 42 (4):193-210.
Infinite games played on finite graphs.Robert McNaughton - 1993 - Annals of Pure and Applied Logic 65 (2):149-184.

Analytics

Added to PP
2015-12-02

Downloads
25 (#616,937)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.

Add more citations

References found in this work

No references found.

Add more references