Pages that link to "Item:Q1235695"

The following pages link to Provability interpretations of modal logic (Q1235695):

Displaying 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)