搜索结果: 1-2 共查到“逻辑学 first-order logic”相关记录2条 . 查询时间(0.079 秒)
BH-CIFOL:Case-intensional first order logic.(II) Branching histories
modal logic extension/intension intensional predication and quantification sortal tracing substance indeterminism branching
2016/6/12
This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller 2013). We introduce a framework of branching histories to take account of indeterminism. Ou...
CIFOL:Case-intensional first order logic.(I) Toward a theory of sorts
modal logic extension/intension intensional predication and quantification sortal tracing substance
2016/5/27
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 fro...