118 search results - page 1 / 24 » Team Logic and Second-Order Logic |
WOLLIC
2009
Springer
13 years 11 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
ENTCS
2006
13 years 4 months ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
KR
1992
Springer
13 years 8 months ago
1992
Springer
An algorithm is presented which eliminates second
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
LICS
1995
IEEE
13 years 8 months ago
1995
IEEE
The decision problem is studied for fragments of second-order linear logic without modalities. It is shown that the structural rules of contraction and weakening may be simulated ...