1071 search results - page 51 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
WEBI
2007
Springer
14 years 3 months ago
2007
Springer
ICEIS
2006
IEEE
14 years 3 months ago
2006
IEEE
JAR
2007
13 years 8 months ago
2007
CORR
2000
Springer
13 years 8 months ago
2000
Springer
STACS
2010
Springer
14 years 4 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...