797 search results - page 8 / 160 » Logics with an existential modality |
79
Voted
COMPSAC
1996
IEEE
15 years 1 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
15 years 1 months ago
1998
Springer
The system FT
WOLLIC
2009
Springer
15 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...
76
Voted
APAL
2008
14 years 9 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 ...
90
Voted
TLCA
2009
Springer
15 years 4 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...