2573 search results - page 19 / 515 » Combinations of Modal Logics |
JOLLI
2002
13 years 7 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
ICTL
1994
13 years 11 months ago
1994
This paper presents a temporal belief logic called
AAAI
2007
13 years 9 months ago
2007
WOLLIC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
JANCL
2008
13 years 7 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...