Pages that link to "Item:Q3331198"
From MaRDI portal
The following pages link to Modal analysis of generalized rosser sentences (Q3331198):
Displayed 18 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- Faith \& falsity (Q705533) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- Some independence results in interpretability logic (Q804562) (← links)
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- The formalization of interpretability (Q1176098) (← links)
- A course on bimodal provability logic (Q1891253) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- Petr Hájek: A Scientific Biography (Q2948582) (← links)
- Cuts, consistency statements and interpretations (Q3686709) (← links)
- Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515) (← links)
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248) (← links)
- The principles of interpretability (Q5937854) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)