A Complete, Infinitary Axiomatization of Weak Second-Order Logic

Journal of Symbolic Logic 35 (3):467-467 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270731

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

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

Review: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467-467.
Axiomatization of a Denotational Semantics for First-order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
Infinitary propositional normal modal logic.Slavian Radev - 1987 - Studia Logica 46 (4):291 - 309.
A Complete First-Order Logic with Infinitary Predicates.H. J. Keisler - 1966 - Journal of Symbolic Logic 31 (2):269-269.
Review: H. J. Keisler, A Complete First-Order Logic with Infinitary Predicates. [REVIEW]Carol Karp - 1966 - Journal of Symbolic Logic 31 (2):269-269.
From finitary to infinitary second‐order logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
A sound and complete axiomatization for Dynamic Topological Logic.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (3):947-969.
$L_a(\finv)$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15 - 28.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.
Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
Cut-elimination Theorems of Some Infinitary Modal Logics.Yoshihito Tanaka - 2001 - Mathematical Logic Quarterly 47 (3):327-340.
Completeness of the infinitary polyadic axiomatization.Isidore Fleischer - 1993 - Mathematical Logic Quarterly 39 (1):197-200.

Analytics

Added to PP
2015-02-05

Downloads
17 (#870,460)

6 months
2 (#1,202,487)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references