27 search results - page 6 / 6 » The Modal Formula (...) Is Not First-Order Definable |
JSYML
2008
13 years 6 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...