295 search results - page 3 / 59 » Approximating the Expressive Power of Logics in Finite Model... |
IJCAI
1989
13 years 12 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
AIML
2008
14 years 6 days ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
ERSHOV
2001
Springer
14 years 3 months ago
2001
Springer
APAL
2004
13 years 10 months ago
2004
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...