462 search results - page 21 / 93 » Axioms for Real-Time Logics |
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
We investigate the complexity of axiom pinpointing for different members of the DL-Lite family of Description Logics. More precisely, we consider the problem of enumerating all mi...
DLOG
2008
13 years 11 months ago
2008
AIML
2004
13 years 10 months ago
2004
IGPL
2010
13 years 7 months ago
2010
The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...