On systems of modal logic with provability interpretations

Theoria 46 (1):7-18 (1980)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1111/j.1755-2567.1980.tb00686.x
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,248
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
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.

View all 6 references / Add more references

Citations of this work BETA
Modal Tableau Calculi and Interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.
Around Provability Logic.Leo Esakia - 2009 - Annals of Pure and Applied Logic 161 (2):174-184.

View all 7 citations / Add more citations

Similar books and articles
The Knower Paradox in the Light of Provability Interpretations of Modal Logic.Paul Égré - 2005 - Journal of Logic, Language and Information 14 (1):13-48.
Provability, Truth, and Modal Logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Two No-Go Theorems for Modal Interpretations of Quantum Mechanics.E. P. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (3):403-431.
A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Added to PP index
2010-09-13

Total downloads
35 ( #151,053 of 2,192,212 )

Recent downloads (6 months)
1 ( #289,802 of 2,192,212 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature