3 search results - page 1 / 1 » Weak Cardinality Theorems for First-Order Logic |
FCT
2003
Springer
14 years 4 months ago
2003
Springer
JSYML
2006
13 years 10 months ago
2006
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a s...
FROCOS
2009
Springer
14 years 5 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...