Notre Dame Journal of Formal Logic 33 (2):244-248 (1992)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1305/ndjfl/1093636103 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,257
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- projecteuclid.org [4] (no proxy)
- projecteuclid.org [5] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Canonical Formulas for K4. Part III: The Finite Model Property.Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (3):950-975.
From Intuitionism to Brouwer's Modal Logic.Zofia Kostrzycka - 2020 - Bulletin of the Section of Logic 49 (4):343-358.
Similar books and articles
Glivenko Type Theorems for Intuitionistic Modal Logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
An Approach to Glivenko’s Theorem in Algebraizable Logics.Antoni Torrens - 2008 - Studia Logica 88 (3):349-383.
An Approach to Glivenko's Theorem in Algebraizable Logics.Antoni Torrens Torrell - 2008 - Studia Logica 88 (3):349 - 383.
Glivenko Theorems for Substructural Logics Over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
On the Proof Theory of the Intermediate Logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
The Greatest Extension of S4 Into Which Intuitionistic Logic is Embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
Analytics
Added to PP index
2010-08-24
Total views
26 ( #436,895 of 2,499,869 )
Recent downloads (6 months)
7 ( #101,971 of 2,499,869 )
2010-08-24
Total views
26 ( #436,895 of 2,499,869 )
Recent downloads (6 months)
7 ( #101,971 of 2,499,869 )
How can I increase my downloads?
Downloads
