Pages that link to "Item:Q1319362"
From MaRDI portal
The following pages link to Syntactical results on the arithmetical completeness of modal logic (Q1319362):
Displaying 7 items.
- An arithmetical completeness theorem for pre-permutations (Q689195) (← links)
- On classes of arithmetical counterparts of modal provability logics (Q922522) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Proof-theoretic modal PA-completeness. II: The syntactic countermodel (Q1970646) (← links)
- Proof-theoretic modal PA-completeness. III: The syntactic proof (Q1970916) (← links)
- (Q2974968) (← links)