134 search results - page 16 / 27 » Modal logics for mereotopological relations |
141
click to vote
WOLLIC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
84
Voted
FUIN
2007
15 years 1 months ago
2007
We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algor...
114
click to vote
JAPLL
2006
15 years 1 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
107
click to vote
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
126
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...