Sciweavers

TABLEAUX
2009
Springer

222views Artificial Intelligence» more TABLEAUX 2009»

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

14 years 6 months ago

We present a terminating tableau calculus for graded hybrid logic with global modalities, reﬂexivity, transitivity and role hierarchies. Termination of the system is achieved thr...

Mark Kaminski, Sigurd Schneider, Gert Smolka

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers