The degree of the set of sentences of predicate provability logic that are true under every interpretation
Journal of Symbolic Logic 52 (1):165-171 (1987)
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPetr Hájek, Jeff Paris & John Shepherdson (2000). Rational Pavelka Predicate Logic is a Conservative Extension of Łukasiewicz Predicate Logic. Journal of Symbolic Logic 65 (2):669-682.
Volker Halbach (2001). Disquotational Truth and Analyticity. Journal of Symbolic Logic 66 (4):1959-1973.
Vann McGee (1994). On the Degrees of Unsolvability of Modal Predicate Logics of Provability. Journal of Symbolic Logic 59 (1):253-261.
Joan Weiner (2008). How Tarskian is Frege? Mind 117 (466):427-450.
Hirohiko Kushida (forthcoming). The Modal Logic of Gödel Sentences. Journal of Philosophical Logic.
Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.
Giorgie Dzhaparidze (1991). Predicate Provability Logic with Non-Modalized Quantifiers. Studia Logica 50 (1):149 - 160.
Dirk Greimann (2008). Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner. Mind 117 (466):403-425.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Petr Hájek (2001). Fuzzy Logic and Arithmetical Hierarchy III. Studia Logica 68 (1):129-142.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads6 ( #147,054 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
