Around provability logic (Q1035652): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2009.05.013 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2087237127 / rank | |||
Normal rank |
Revision as of 20:45, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Around provability logic |
scientific article |
Statements
Around provability logic (English)
0 references
4 November 2009
0 references
In this paper, the author presents some results on algebraic and modal analysis of polynomial distortions of the standard provability predicate in Peano Arithmetic. The basic modal system for the distortions is shown to be K4.Grz, on which (the modal versions of) notions such as demonstrability predicate, Gödel's Second Incompleteness (g), and weak Löb axiom (wL) are characterized by certain specializations respectively. Among other interesting observations, the well-known modal system GL is shown to be axiomatized as K4.Grz+(g)+(wL), while the two axioms are, on K4.Grz, independent from each other. The paper includes also a description of the dual category of K4.Grz-algebras and a short review of relational and topological semantics for these modal systems.
0 references
provability logic
0 references
modal logic
0 references
distortion
0 references
derivative operator
0 references
diagonalizable algebra
0 references