Pages that link to "Item:Q689212"
From MaRDI portal
The following pages link to On the proofs of arithmetical completeness for interpretability logic (Q689212):
Displaying 17 items.
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- Interpretability in PRA (Q1035648) (← links)
- A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- (Q4636023) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- Characterizations of interpretability in bounded arithmetic (Q5213551) (← links)
- Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (Q5351967) (← links)
- Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
