BH-CIFOL: Case-Intensional First Order Logic

Nuel Belnap, Thomas Müller 0007. BH-CIFOL: Case-Intensional First Order Logic. J. Philosophical Logic, 43(5):835-866, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.