711 search results - page 21 / 143 » Modal Logics are Coalgebraic |
JOLLI
2002
14 years 9 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
15 years 2 months ago
1994
This paper presents a temporal belief logic called
AAAI
2007
15 years 9 days ago
2007
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
JANCL
2008
14 years 10 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...