On the degrees of unsolvability of modal predicate logics of provability

DOI10.2307/2275263zbMath0806.03016OpenAlexW1974816407MaRDI QIDQ4292606

Vann McGee

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

zbMATH Keywords

degrees of unsolvabilitymodal predicate logic of provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (4)

Rationality & Second‐Order Preferences ⋮ Graphoid properties of concepts of independence for sets of probabilities ⋮ The complexity of the modal predicate logic of “true in every transitive model of ZF” ⋮ Fifteen arguments against hypothetical frequentism

Cites Work

• Provability interpretations of modal logic
• The degree of the set of sentences of predicate provability logic that are true under every interpretation
• The Logic of Provability
• Axiomatizability by a schema

This page was built for publication: On the degrees of unsolvability of modal predicate logics of provability