Journal of Philosophical Logic

GPTKB entity