2138 search results - page 6 / 428 » Logical Step-Indexed Logical Relations |
108
Voted
CSL
1998
Springer
15 years 3 months ago
1998
Springer
120
Voted
FUIN
2008
15 years 3 months ago
2008
81
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
118
Voted
ESSLLI
2009
Springer
15 years 1 months ago
2009
Springer
117
click to vote
WOLLIC
2009
Springer
15 years 10 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...