77 search results - page 8 / 16 » Guarded Fixed Point Logic |
103
Voted
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
The Horn
116
click to vote
ISMVL
2008
IEEE
15 years 8 months ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
133
click to vote
APAL
2004
15 years 1 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...
140
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
103
click to vote
ENTCS
2010
15 years 1 months ago
2010
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towar...