Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19900360410
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,959
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

An Extension of Ono's Completeness Result.Nobu-Yuki Suzuki - 1990 - Mathematical Logic Quarterly 36 (4):365-366.
Hybrid Logics with Sahlqvist Axioms.Balder Cate, Maarten Marx & Petrúcio Viana - 2005 - Logic Journal of the IGPL 13 (3):293-300.
On the Semantics of the Universal Quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Hammond.Claes Strannegard - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
A Completeness Result for the Simply Typed Λμ-Calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.


Added to PP index

Total views
22 ( #512,690 of 2,504,817 )

Recent downloads (6 months)
2 ( #277,627 of 2,504,817 )

How can I increase my downloads?


My notes