Login / Signup
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski
Sigurd Schneider
Gert Smolka
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
modal logic
automated reasoning
decision procedures
sequent calculi
temporal logic
hierarchical structure
functional dependencies
global information
classical logic
machine learning
learning algorithm
social networks
hybrid learning
sound and complete axiomatization