503 search results - page 15 / 101 » Interpolative Boolean Logic |
DLT
2009
14 years 7 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
ISMVL
1994
IEEE
15 years 1 months ago
1994
IEEE
AISC
2008
Springer
14 years 11 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
JSYML
2006
14 years 9 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...