2012 search results - page 81 / 403 » CORAL - Control, Relations and Logic |
173
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
173
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
157
click to vote
ECCC
2010
15 years 6 months ago
2010
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
167
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...