Pages that link to "Item:Q922522"
From MaRDI portal
The following pages link to On classes of arithmetical counterparts of modal provability logics (Q922522):
Displaying 6 items.
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- (Q2958533) (← links)
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Q2974792) (← links)
- (Q3476787) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)