3994 search results - page 109 / 799 » A Linear Logical Framework |
92
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
95
Voted
ECCC
2007
15 years 17 days ago
2007
Algorithmic meta theorems are algorithmic results that apply to whole families of combinatorial problems, instead of just specific problems. These families are usually defined i...
103
Voted
ICALP
2010
Springer
14 years 10 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 &...
117
Voted
DEON
2010
Springer
15 years 2 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
105
click to vote
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...