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

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

2010-12-03

arxiv.org/abs/1012.0746v3

LMCS 7 (1:5) 2011

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-7(1:5)2011

We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved through pattern-based blocking. Previous approaches to related logics all rely on chain-based blocking. Besides being conceptually simple and suitable for efficient implementation, the pattern-based approach gives us a NExpTime complexity bound for the decision procedure.

Affiliated with

Also associated with

No associations

Rating

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-515238