A modal analog for Glivenko's theorem and its applications
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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGuram Bezhanishvili (2001). Glivenko Type Theorems for Intuitionistic Modal Logics. Studia Logica 67 (1):89-109.
Antoni Torrens (2008). An Approach to Glivenko's Theorem in Algebraizable Logics. Studia Logica 88 (3).
Antoni Torrens Torrell (2008). An Approach to Glivenko's Theorem in Algebraizable Logics. Studia Logica 88 (3):349 - 383.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
Russell Trenholme (1994). Analog Simulation. Philosophy of Science 61 (1):115-131.
Johan van Benthem (2007). A New Modal Lindström Theorem. Logica Universalis 1 (1).
John Haugeland (1981). Analog and Analog. Philosophical Topics 12 (1):213-226.
Sebastian Enqvist (forthcoming). A General Lindström Theorem for Some Normal Modal Logics. Logica Universalis:1-32.
Jonathan P. Seldin (1986). On the Proof Theory of the Intermediate Logic MH. Journal of Symbolic Logic 51 (3):626-647.
Michael Zakharyaschev (1997). The Greatest Extension of S4 Into Which Intuitionistic Logic is Embeddable. Studia Logica 59 (3):345-358.
Victor Harnik & Michael Makkai (1976). Applications of Vaught Sentences and the Covering Theorem. Journal of Symbolic Logic 41 (1):171-187.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads5 ( #160,204 of 548,983 )Recent downloads (6 months)1 ( #63,327 of 548,983 )How can I increase my downloads? |
My notes
Discussion
