Pages that link to "Item:Q3752370"
From MaRDI portal
The following pages link to Arithmetically complete modal theories (Q3752370):
Displaying 7 items.
- On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) (Q892132) (← links)
- On classes of arithmetical counterparts of modal provability logics (Q922522) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- (Q2974968) (← links)
- A complete axiomatization of a theory with feature and arity constraints (Q3125892) (← links)
- On Models Constructed by Means of the Arithmetized Completeness Theorem (Q4521125) (← links)