Zhiguang Zhao

Available identifiers

zbMath Open zhao.zhiguangMaRDI QIDQ1685914

List of research outcomes

Publication	Date of Publication	Type
Dynamic modal logic with counting: when reduction axioms work and fail	2024-01-16	Paper
A logic for preference lifting under uncertainty and its decidability	2024-01-16	Paper
Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic	2023-11-17	Paper
Jónsson-style canonicity in distributive modal µ-calculus	2023-07-06	Paper
Correspondence theory for generalized modal algebras	2023-06-02	Paper
Sahlqvist correspondence theory for second-order propositional modal logic	2023-05-16	Paper
Algorithmic correspondence for hybrid logic with binder	2023-02-16	Paper
Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)	2022-10-10	Paper
Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder	2022-07-04	Paper
Correspondence and Canonicity Theory of Quasi-Inequalities and $\Pi_2$-Statements in Modal Subordination Algebras	2022-06-11	Paper
Algorithmic correspondence and canonicity for possibility semantics	2021-04-09	Paper
Algorithmic Correspondence for Hybrid Logic with Binder	2021-02-25	Paper
Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic	2020-03-28	Paper
Sahlqvist Correspondence Theory for Sabotage Modal Logic	2020-03-18	Paper
Universal models for the positive fragment of intuitionistic logic	2020-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4625704	2019-02-25	Paper
Unified correspondence as a proof-theoretic tool	2019-01-31	Paper
Constructive canonicity for lattice-based fixed point logics	2017-12-20	Paper
Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces	2017-12-20	Paper
Sahlqvist theory for impossible worlds	2017-05-17	Paper
Jónsson-style canonicity for ALBA-inequalities	2017-05-17	Paper
Unified correspondence and proof theory for strict implication	2017-05-17	Paper
Algorithmic Correspondence and Canonicity for Possibility Semantics	2016-12-15	Paper
Sahlqvist via Translation	2016-03-27	Paper
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention	2015-12-17	Paper
An Abstract Algebraic Logic View on Judgment Aggregation	2015-12-17	Paper
Positive Formulas in Intuitionistic and Minimal Logic	2015-12-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zhiguang Zhao