A First-order Modal Logic of Strict Implication on Varying-Domain Models.

Yuanzhe Yang

Browse the full AiML paper archive.