1061 search results - page 5 / 213 » Dependently Sorted Logic |
LILOG
1989
14 years 1 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
TABLEAUX
2007
Springer
14 years 3 months ago
2007
Springer
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
ACL
1993
13 years 11 months ago
1993
WOLLIC
2009
Springer
14 years 4 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...