1 citations · 1 across the 3 of their papers we have counts for
10 papers
Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)
Zhiguang Zhao
In the present article, we extend the fragment of inductive formulas for the hybrid language L(@) in [8] including a McKinsey-like formula, and show that every formula in the exten…
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic
Zhiguang Zhao
We study the correspondence theory of intuitionistic modal logic in modal Fairtlough-Mendler semantics (modal FM semantics) \cite{FaMe97}, which is the intuitionistic modal version…
Correspondence Theory for Generalized Modal Algebras
Zhiguang Zhao
In the present paper, we give a systematic study of the correspondence theory of generalized modal algebras and generalized modal spaces. The special feature of the present paper i…
Algorithmic Correspondence for Hybrid Logic with Binder
Zhiguang Zhao
In the present paper, we develop the algorithmic correspondence theory for hybrid logic with binder. We define the class of Sahlqvist inequalities, each inequality of which is show…
Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic
Zhiguang Zhao
In the present paper, we investigate the Sahlqvist-type correspondence theory for instantial neighbourhood logic (INL), which can talk about existential information about the neigh…
Unified Correspondence and Proof Theory for Strict Implication
Minghui Ma, Zhiguang Zhao
The unified correspondence theory for distributive lattice expansion logics (DLE-logics) is specialized to strict implication logics. As a consequence of a general semantic conseva…