36 citations · 109 across the 16 of their papers we have counts for
12 papers · 1 filter
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 and Canonicity Theory of Quasi-Inequalities and -Statements in Modal Subordination Algebras
Zhiguang Zhao
In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence r…
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…
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…
Sahlqvist Correspondence Theory for Sabotage Modal Logic
Zhiguang Zhao
Sabotage modal logic (SML) is a kind of dynamic logics. It extends static modal logic with a dynamic modality which is interpreted as "after deleting an arrow in the frame, the for…
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…
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…
Unified Correspondence as a Proof-Theoretic Tool
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano +2
The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated b…
Sahlqvist theory for impossible worlds
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not r…
Constructive canonicity for lattice-based fixed point logics
Willem Conradie, Andrew Craig, Alessandra Palmigiano +1
We prove the algorithmic canonicity of two classes of -inequalities in a constructive meta-theory of normal lattice expansions. This result simultaneously generalizes Conradie a…
Sahlqvist via Translation
Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao
In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice…