227 search results - page 1 / 46 » Second-order logic on equivalence relations |
WOLLIC
2009
Springer
13 years 12 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...
TLCA
2001
Springer
13 years 9 months ago
2001
Springer
JSYML
2002
13 years 5 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
CORR
2004
Springer
13 years 5 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...
MFCS
2000
Springer
13 years 8 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as