Seguir
Zhiguang Zhao
Zhiguang Zhao
Taishan University
Dirección de correo verificada de tudelft.nl - Página principal
Título
Citado por
Citado por
Año
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
1052018
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
432019
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
402015
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
34*2017
Unified correspondence and proof theory for strict implication
M Ma, Z Zhao
Journal of Logic and Computation 27 (3), 921-960, 2017
252017
Positive formulas in intuitionistic and minimal logic
DHJ de Jongh, Z Zhao
TbiLLC 2013 8984, 175-189, 2015
152015
Universal models for the positive fragment of intuitionistic logic
N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao
TbiLLC 2015 10148, 229-250, 2017
14*2017
Algorithmic correspondence and canonicity for possibility semantics
Z Zhao
Journal of Logic and Computation 31 (2), 523–572, 2021
112021
Algorithmic correspondence for hybrid logic with binder
Z Zhao
Logic Journal of the IGPL 31 (1), 39-67, 2023
92023
Numerical Expressive Power of Logical Languages with Cardinality Comparison Operators
X Fu, Z Zhao
Journal of Logic and Computation, 2024
6*2024
破坏模态逻辑的算法对应理论
Z Zhao
逻辑学研究 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
Axiomatization of Modal logic with counting
X Fu, Z Zhao
Logic Journal of the IGPL, 2024
3*2024
Decidability for modal logic with counting ML (#) in different frame classes
X Fu, Z Zhao
Studies in Logic 17 (3), 86-101, 2024
32024
Correspondence theory for modal logic with counting
X Fu, Z Zhao
Submitted, 2023
32023
Taming" McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H (@)
Z Zhao
arXiv preprint arXiv:2210.04433, 2022
22022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20