797 search results - page 8 / 160 » Logics with an existential modality |
COMPSAC
1996
IEEE
14 years 3 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
RTA
1998
Springer
14 years 3 months ago
1998
Springer
The system FT
WOLLIC
2009
Springer
14 years 5 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...
APAL
2008
13 years 11 months ago
2008
Inspired by recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of ...
TLCA
2009
Springer
14 years 5 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...