4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2022
Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder
Zhiguang Zhao
In the present paper, we continue the research in \cite{Zh21c} to develop the Sahlqvist-type completeness theory for hybrid logic with satisfaction operators and downarrow binders…
math.LO2016★ 4 cited
Algorithmic Correspondence and Canonicity for Possibility Semantics
Zhiguang Zhao
The present paper develops a unified correspondence treatment of the Sahlqvist theory for possibility semantics, extending the results in \cite{Ya16} from Sahlqvist formulas to the…