Complete and Terminating Tableau Calculus for Undirected Graph

Yuki Nishimura, Tsubasa Takagi

Hybrid logic is a modal logic with additional operators specifying nominals and is highly expressive. For example, there is no formula corresponding to the irreflexivity of Kripke…