Follow
Zhiguang Zhao
Zhiguang Zhao
Taishan University
Verified email at tudelft.nl - Homepage
Title
Cited by
Cited by
Year
Unified Correspondence as a Proof-Theoretic Tool
G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao
Journal of Logic and Computation 28 (7), 1367–1442, 2018
982018
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao
Journal of Logic and Computation 27 (3), 775–816, 2017
592017
Sahlqvist via translation
W Conradie, A Palmigiano, Z Zhao
Logical Methods in Computer Science 15 (1), 1-35, 2019
402019
Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA
W Conradie, A Palmigiano, S Sourabh, Z Zhao
arXiv preprint arXiv:1511.04271, 2015
382015
J'onsson-Style Canonicity for ALBA-Inequalities
A PALMIGIANO, S SOURABH, Z ZHAO
Journal of Logic and Computation 27 (3), 817–865, 2017
352017
Constructive canonicity for lattice-based fixed point logics
W Conradie, A Craig, A Palmigiano, Z Zhao
WoLLIC 2017 10388, 92-109, 2017
33*2017
Unified correspondence and proof theory for strict implication
M Ma, Z Zhao
Journal of Logic and Computation 27 (3), 921-960, 2017
242017
Positive formulas in intuitionistic and minimal logic
DHJ de Jongh, Z Zhao
TbiLLC 2013 8984, 175-189, 2015
122015
Algorithmic correspondence and canonicity for possibility semantics
Z Zhao
Journal of Logic and Computation 31 (2), 523–572, 2021
112021
Universal models for the positive fragment of intuitionistic logic
N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao
TbiLLC 2015 10148, 229-250, 2017
11*2017
Algorithmic correspondence for hybrid logic with binder
Z Zhao
Logic Journal of the IGPL 31 (1), 39-67, 2023
82023
Numerical Expressive Power of Logical Languages with Cardinality Comparison Operators
X Fu, Z Zhao
Submitted, 2023
6*2023
Algorithmic correspondence theory for sabotage modal logic
Z Zhao
Studies in Logic 15 (6), 66-92, 2022
5*2022
Algebraic canonicity in non-classical logics
Z Zhao
Institute for Logic, Language and Computation, University of Amsterdam, 2013
52013
Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention
G Bedrosian, A Palmigiano, Z Zhao
LORI 2015 9394, 27-39, 2015
42015
An Abstract Algebraic Logic view on Judgment Aggregation
M Esteban, A Palmigiano, Z Zhao
LORI 2015 9394, 77-89, 2015
42015
Correspondence theory for modal logic with counting
X Fu, Z Zhao
Submitted, 2023
32023
Decidability for modal logic with counting ML (#) in different frame classes
X Fu, Z Zhao
Submitted, 2023
32023
Modal Logic with Counting: Axiomatic and Model Theoretic Aspects
X Fu, Z Zhao
Submitted, 2023
3*2023
Taming" McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H (@)
Z Zhao
arXiv preprint arXiv:2210.04433, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20