Pages that link to "Item:Q1235695"
From MaRDI portal
The following pages link to Provability interpretations of modal logic (Q1235695):
Displayed 50 items.
- Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- Modal logics with several operators and probability interpretations (Q579232) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- The modal logic of Gödel sentences (Q600852) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
- A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
- On the complexity of arithmetical interpretations of modal formulae (Q688859) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- Decidable and enumerable predicate logics of provability (Q750418) (← links)
- The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
- Modal tableau calculi and interpolation (Q798647) (← links)
- Provability logics for natural Turing progressions of arithmetical theories (Q804564) (← links)
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- Around provability logic (Q1035652) (← links)
- The modal logic of provability. The sequential approach (Q1056745) (← links)
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
- Hyperdiagonalizable algebras (Q1078181) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Interpretability of various extensions of arithmetic (Q1095138) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- The power of temporal proofs (Q1118578) (← links)
- Intuitionistic diagonalizable algebras (Q1134152) (← links)
- Provability, truth, and modal logic (Q1135843) (← links)
- Pretabular varieties of modal algebras (Q1150599) (← links)
- Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077) (← links)
- The undecidability of the first-order theory of diagonalizable algebras (Q1153078) (← links)
- Omega-consistency and the diamond (Q1153905) (← links)
- A propositional logic with explicit fixed points (Q1156789) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)