arXiv Analytics

Sign in

arXiv:2210.09630 [math.LO]AbstractReferencesReviewsResources

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics

Yuki Nishimura

Published 2022-10-18Version 1

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.

Comments: 27 pages. 5 figures
Categories: math.LO, cs.LO
Subjects: 03B60
Related articles: Most relevant | Search more
arXiv:2308.01623 [math.LO] (Published 2023-08-03)
Another proof for completeness of Łukasiewicz logic
arXiv:1201.5811 [math.LO] (Published 2012-01-27)
A general proof system for logics of imperfect information
arXiv:2402.12931 [math.LO] (Published 2024-02-20, updated 2024-03-07)
Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness

Links

Toolbox