36 citations · 109 across the 16 of their papers we have counts for
16 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…
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…
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…
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…
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…
An Abstract Algebraic Logic View on Judgment Aggregation
Maria Esteban, Alessandra Palmigiano, Zhiguang Zhao
In the present paper, we propose Abstract Algebraic Logic (AAL) as a general logical framework for Judgment Aggregation. Our main contribution is a generalization of Herzberg's alg…
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…
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh +1
We generalize Venema's result on the canonicity of the additivity of positive terms, from classical modal logic to a vast class of logics the algebraic semantics of which is given…