797 search results - page 8 / 160 » Logics with an existential modality |
130
Voted
COMPSAC
1996
IEEE
15 years 8 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...
119
Voted
RTA
1998
Springer
15 years 8 months ago
1998
Springer
The system FT
121
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...
128
Voted
APAL
2008
15 years 3 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 ...
141
click to vote
TLCA
2009
Springer
15 years 10 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...