搜索结果: 1-4 共查到“first-order logic”相关记录4条 . 查询时间(0.062 秒)
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...
Expressiveness and Succinctness of First-Order Logic on Finite Words
Ehrenfeucht-Fra飐s?game finite model theory first-order logic generalized star-height satisfiability succinctness
2014/12/18
Expressiveness, and more recently, succinctness, are two central concerns of finite model theory and descriptive complexity theory. Succinctness is particularly interesting because it is closely relat...
First-Order Logic Foundation of Relativity Theories
general relativity gravitational time dilation
2008/4/22
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers,...
