1078 search results - page 8 / 216 » The Modal Logic of Probability |
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
KR
1991
Springer
13 years 11 months ago
1991
Springer
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...
LOGCOM
2000
13 years 7 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
DAGSTUHL
2007
13 years 8 months ago
2007
SYNTHESE
2010
13 years 5 months ago
2010