Affiliation:
1. Tokyo Institute of Technology
Abstract
Abstract
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 a special rule to the tableau calculus for HdPL and show that it is still sound and complete. All of them lack termination, however.
Publisher
Oxford University Press (OUP)
Reference26 articles.
1. A road-map on complexity for hybrid logics;Areces,1999
2. Arthur Prior and hybrid logic;Blackburn;Synthese,2006
3. Completeness and termination for a Seligman-style tableau system;Blackburn;Journal of Logic and Computation,2017
4. Hybrid languages;Blackburn;Journal of Logic, Language and Information,1995