On the degrees of unsolvability of modal predicate logics of provability
From MaRDI portal
Publication:4292606
DOI10.2307/2275263zbMath0806.03016MaRDI QIDQ4292606
Publication date: 16 February 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275263
03B45: Modal logic (including the logic of norms)
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
The complexity of the modal predicate logic of “true in every transitive model of ZF”, Rationality & Second‐Order Preferences, Fifteen arguments against hypothetical frequentism
Cites Work