On inclusions between quantified provability logics
Abstract
We investigate several consequences of inclusion relations between quantified provability logics. Moreover, we give a necessary and sufficient condition for the inclusion relation between quantified provability logics with respect to $\Sigma_1$ arithmetical interpretations.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.03384
- arXiv:
- arXiv:2101.03384
- Bibcode:
- 2021arXiv210103384K
- Keywords:
-
- Mathematics - Logic
- E-Print:
- 22 pages