292 search results - page 21 / 59 » First-order intensional logic |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
CI
2005
13 years 7 months ago
2005
CJ
2000
13 years 7 months ago
2000
CIE
2008
Springer
13 years 7 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
ENTCS
2006
13 years 7 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...