AbstractIn this paper we study 1.(i) the frame-theory of certain bimodal provability logics involving the reflection principle and we study2.(ii) certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms
AbstractA well-known polymodal provability logic GLP due to Japaridze is complete w.r.t. the arithme...
We prove that the provability logic of all provability predicates is exactly Fitting, Marek, and Tru...
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Fef...
The aim of the present paper is twofold: first I am somewhat dissatisfied with current treatments o...
AbstractWe investigate the bimodal logics sound and complete under the interpretation of modal opera...
This thesis is a study of nonstandard provability predicates for Peano Arithmetic (PA). By a nonstan...
AbstractWe investigate the bimodal logics sound and complete under the interpretation of modal opera...
In this paper we investigate those extensions of the bimodal provability logic C⃗ SM0 (alias P⃗ RL1 ...
AbstractLet PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L⊆PLω⊥h...
We investigate the modal logic of interpretability over Peano arithmetic (PA). Our main result is a...
This thesis deals with provability logic. Strengthenings are obtained of some arithmetical completen...
In diesem Text untersuchen wir die Logik des formalisierten Beweisbarkeitsprädikates. Wir geben eine...
AbstractThe bimodal provability logics of analysis (second-order arithmetic) for ordinary provabilit...
In this paper we investigate those extensions of the bimodal provability logic C⃗ SM0 (alias P⃗ RL1 ...
In this paper we investigate those extensions of the bimodal provability logic C⃗ SM0 (alias P⃗ RL1 ...
AbstractA well-known polymodal provability logic GLP due to Japaridze is complete w.r.t. the arithme...
We prove that the provability logic of all provability predicates is exactly Fitting, Marek, and Tru...
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Fef...
The aim of the present paper is twofold: first I am somewhat dissatisfied with current treatments o...
AbstractWe investigate the bimodal logics sound and complete under the interpretation of modal opera...
This thesis is a study of nonstandard provability predicates for Peano Arithmetic (PA). By a nonstan...
AbstractWe investigate the bimodal logics sound and complete under the interpretation of modal opera...
In this paper we investigate those extensions of the bimodal provability logic C⃗ SM0 (alias P⃗ RL1 ...
AbstractLet PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L⊆PLω⊥h...
We investigate the modal logic of interpretability over Peano arithmetic (PA). Our main result is a...
This thesis deals with provability logic. Strengthenings are obtained of some arithmetical completen...
In diesem Text untersuchen wir die Logik des formalisierten Beweisbarkeitsprädikates. Wir geben eine...
AbstractThe bimodal provability logics of analysis (second-order arithmetic) for ordinary provabilit...
In this paper we investigate those extensions of the bimodal provability logic C⃗ SM0 (alias P⃗ RL1 ...
In this paper we investigate those extensions of the bimodal provability logic C⃗ SM0 (alias P⃗ RL1 ...
AbstractA well-known polymodal provability logic GLP due to Japaridze is complete w.r.t. the arithme...
We prove that the provability logic of all provability predicates is exactly Fitting, Marek, and Tru...
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Fef...
DOI
Add to ORKG