Generic generalized Rosser fixed points
Studia Logica 46 (2):193 - 203 (1987)
| Abstract | To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical (Solovay-type) completeness theorem with respect to PA is obtained for LR. | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKatsumi Sasaki (2002). A Cut-Free Sequent System for the Smallest Interpretability Logic. Studia Logica 70 (3):353-372.
Johan Van Benthem (2006). Modal Frame Correspondences and Fixed-Points. Studia Logica 83 (1/3):133 - 155.
Johan Van Benthem (2006). Modal Frame Correspondences and Fixed-Points. Studia Logica 83 (1-3).
Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.
Paolo Gentilini (1993). Syntactical Results on the Arithmetical Completeness of Modal Logic. Studia Logica 52 (4):549 - 564.
Dick Jongh & Albert Visser (1991). Explicit Fixed Points in Interpretability Logic. Studia Logica 50 (1):39 - 49.
Dick Jongh & Franco Montagna (1991). Rosser Orderings and Free Variables. Studia Logica 50 (1):71 - 80.
Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
Vítězslav Švejdar (1983). Modal Analysis of Generalized Rosser Sentences. Journal of Symbolic Logic 48 (4):986-999.
Dick Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51 - 69.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
