This is part I of a two-part essay introducing case-intensional first order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback