2302 search results - page 8 / 461 » Basic Description Logics |
101
Voted
CSL
1999
Springer
15 years 6 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
92
Voted
SOSYM
2002
15 years 1 months ago
2002
110
Voted
JSYML
2000
15 years 1 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
103
Voted
WWW
2003
ACM
16 years 2 months ago
2003
ACM
119
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...