Pages that link to "Item:Q1235695"
From MaRDI portal
The following pages link to Provability interpretations of modal logic (Q1235695):
Displayed 50 items.
- Independent numerations of theories and recursive progressions (Q1204765) (← links)
- The logic of linear tolerance (Q1207342) (← links)
- Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
- Provability logic without Craig's interpolation property (Q1263572) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- The logic of arithmetical hierarchy (Q1315831) (← links)
- Syntactical results on the arithmetical completeness of modal logic (Q1319362) (← links)
- Logic of proofs (Q1326774) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The decision problem of provability logic with only one atom (Q1423633) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- A course on bimodal provability logic (Q1891253) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- A modal logic of consistency (Q1904094) (← links)
- Syntactical models and fixed points for the basic logic of proofs (Q1924755) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Anderson and Belnap's invitation to sin (Q1959326) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- On independent axiomatizability of quasi-normal modal logics (Q2082254) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (Q2142084) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
- Modal provability foundations for argumentation networks (Q2269511) (← links)
- Uniform arithmetical completeness of modal provability logics (Q2277453) (← links)
- The modal logic of reverse mathematics (Q2339962) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Variations on a Montagovian theme (Q2443347) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- On modal logic of deductive closure (Q2498907) (← links)
- Referential logic of proofs (Q2500486) (← links)
- A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758) (← links)
- Magari and \(\Delta\)-pseudo-Boolean algebras (Q2640631) (← links)
- Hard provability logics (Q2658282) (← links)