Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
Hybrid logic is one of the extensions of modal logic. The many-dimensional product of hybrid logic is called hybrid product logic (HPL). We construct a sound and complete tableau calculus for two-dimensional HPL. Also, we made a tableau calculus for Hybrid dependent Product Logic (HdPL), where one dimension depends on the other. In addition, we add the special rule to the tableau calculus for HdPL and show that it is still sound and complete. All of them lack termination, however.
READ FULL TEXT