Pure Logic with Branched Quantifiers

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):45-48 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350106

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

Pure Logic with Branched Quantifiers.Marcin Mostowski - 1989 - Mathematical Logic Quarterly 35 (1):45-48.
The relational semantics for branched quantifiers.M. Mostowski - 1987 - In D. Skordev (ed.), Mathematical Logic and its Application. Plenum Press. pp. 315--322.
Decidability problems in languages with Henkin quantifiers.Michał Krynicki & Marcin Mostowski - 1992 - Annals of Pure and Applied Logic 58 (2):149-172.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Operators on branched quantifiers.Mark A. Brown - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 21--61.
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 Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
Erratum to “Elimination of unbounded quantifiers for some poly-regular groups of infinite rank” [Ann. Pure Appl. Logic 149 (1–3) (2007) 40–80]. [REVIEW]Philip Scowcroft - 2013 - Annals of Pure and Applied Logic 164 (1):65.
Provability logics with quantifiers on proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.
On second-order generalized quantifiers and finite structures.Anders Andersson - 2002 - Annals of Pure and Applied Logic 115 (1--3):1--32.
Ambigous quantifiers.M. Krynicki & M. Mostowski - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 548--565.
Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.
Self-commuting quantifiers.Dag Westerståhl - 1996 - Journal of Symbolic Logic 61 (1):212-224.

Analytics

Added to PP
2015-12-02

Downloads
31 (#503,056)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marcin Mostowski
Last affiliation: Jagiellonian University

Citations of this work

Decidability problems in languages with Henkin quantifiers.Michał Krynicki & Marcin Mostowski - 1992 - Annals of Pure and Applied Logic 58 (2):149-172.

Add more citations

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
Infinistic Methods.L. Henkin - 1961 - Pergamon Press.

Add more references