156 search results - page 1 / 32 » The Expressivity of Quantifying over Regions |
LOGCOM
2006
13 years 4 months ago
2006
We categorize in recursion-theoretic terms the expressivity of a number of first-order languages that allow quantification over regions in Euclidean space. Specifically we show th...
FUIN
2010
13 years 1 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
LICS
2010
IEEE
13 years 2 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
AAAI
2006
13 years 6 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...