Spectra of Formulae with Henkin Quantifiers

&
In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29--45 (2003)
  Copy   BIBTEX

Abstract

It is known that various complexity-theoretical problems can be translated into some special spectra problems (see e.g. Fagin [Fa74] or Blass and Gurevich, [Bl-Gu86]). So questions about complexity classes are translated into questions about the expressive power of some languages. In this paper we investigate the spectra of some logics with Henkin quanti fiers in the empty vocabulary. This problem has been investigated fi rstly by Krynicki and Mostowski in [Kr-Mo 92] and [Kr- Mo 95]. All presented results can be also treated as results about the expressive power of certain languages in fi nite models.

Categories

Keywords

Reprint years

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

Spectra of formulae with Henkin quantifiers.Joanna Golinska-Pilarek & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29-45.
Degrees of logics with Henkin quantifiers in poor vocabularies.Marcin Mostowski & Konrad Zdanowski - 2004 - Archive for Mathematical Logic 43 (5):691-702.
Henkin quantifiers and the definability of truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 193--263.
A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.
Ways of branching quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
Partially-ordered (branching) generalized quantifiers: A general definition.Gila Sher - 1997 - Journal of Philosophical Logic 26 (1):1-43.
Henkin Quantifiers,[w:] Krynicki M., Mostowski M., Szczerba LW (red.).M. Krynicki - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
Jack and Jill have shifted spectra.Ned Block - 1999 - Behavioral and Brain Sciences 22 (6):946-947.
On Non-Deterministic Quantification.Thomas Macaulay Ferguson - 2014 - Logica Universalis 8 (2):165-191.
A geometric interpretation of logical formulae.Helena Rasiowa & Andrze Mostowski - 1953 - Studia Logica 1 (1):273-275.
Remark on spectrums of formulas with Henkin quantifiers.Tapani Hyttinen - 2006 - Acta Philosophica Fennica 78:79.
Explicit Henkin sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.

Analytics

Added to PP
2014-01-30

Downloads
38 (#410,745)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references