References in:

Decidable and enumerable predicate logics of provability

Studia Logica 49 (1):7 - 21 (1990)

You must login to add references.

The degree of the set of sentences of predicate provability logic that are true under every interpretation.George Boolos & Vann McGee - 1987 - Journal of Symbolic Logic 52 (1):165-171.details Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 6 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...