Provability logics relative to a fixed extension of peano arithmetic

Journal of Symbolic Logic 83 (3):1229-1246 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
A model of peano arithmetic with no elementary end extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
omnibus Review. [REVIEW]Vann Mcgee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
[Omnibus Review].Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.

Analytics

Added to PP
2018-10-25

Downloads
16 (#932,051)

6 months
8 (#414,134)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some Observations on the FGH Theorem.Taishi Kurahashi - 2023 - Studia Logica 111 (5):749-778.

Add more citations

References found in this work

Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
Faith & falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1-3):103-131.

Add more references