On deciding the provability of certain fixed point statements
Journal of Symbolic Logic 42 (2):191-193 (1977)
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSergei Artëmov & Franco Montagna (1994). On First-Order Theories with Provability Operator. Journal of Symbolic Logic 59 (4):1139-1153.
Gregory McColm (2004). Guarded Quantification in Least Fixed Point Logic. Journal of Logic, Language and Information 13 (1):61-110.
George Boolos (1976). On Deciding the Truth of Certain Statements Involving the Notion of Consistency. Journal of Symbolic Logic 41 (4):779-781.
Lisa Reidhaar-Olson (1989). A New Proof of the Fixed-Point Theorem of Provability Logic. Notre Dame Journal of Formal Logic 31 (1):37-43.
Max Kubierschky (2000). Yet Another Hierarchy Theorem. Journal of Symbolic Logic 65 (2):627-640.
Johan Van Benthem (2006). Modal Frame Correspondences and Fixed-Points. Studia Logica 83 (1/3):133 - 155.
Philip Kremer (2008). Supervaluation Fixed-Point Logics of Truth. Journal of Philosophical Logic 37 (5).
Johan Van Benthem (2006). Modal Frame Correspondences and Fixed-Points. Studia Logica 83 (1-3).
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Per Lindström (2006). Note on Some Fixed Point Constructions in Provability Logic. Journal of Philosophical Logic 35 (3):225 - 230.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads4 ( #178,800 of 549,198 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
