Zhiguang Zhao
Título
Citado por
Citado por
Ano
Unified Correspondence as a Proof-Theoretic Tool
A Tzimoulis, G Greco, M Ma, A Palmigiano, Z Zhao
Journal of Logic and Computation 28 (7), 1367–1442, 2016
73*2016
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao
Journal of Logic and Computation 27 (3), 775–816, 2016
432016
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
372015
J'onsson-Style Canonicity for ALBA-Inequalities
A PALMIGIANO, S SOURABH, Z ZHAO
Journal of Logic and Computation 27 (3), 817–865, 2015
322015
Constructive canonicity for lattice-based fixed point logics
W Conradie, A Craig, A Palmigiano, Z Zhao
WoLLIC 2017 10388, 92-109, 2017
29*2017
Sahlqvist via translation
W Conradie, A Palmigiano, Z Zhao
Logical Methods in Computer Science 15 (1), 1-35, 2019
282019
Unified correspondence and proof theory for strict implication
M Ma, Z Zhao
Journal of Logic and Computation 27 (3), 921-960, 2017
212017
Positive formulas in intuitionistic and minimal logic
DHJ de Jongh, Z Zhao
TbiLLC 2013 8984, 175-189, 2015
102015
Universal models for the positive fragment of intuitionistic logic
N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao
TbiLLC 2015 10148, 229-250, 2017
9*2017
Algorithmic correspondence and canonicity for possibility semantics
Z Zhao
Journal of Logic and Computation, exab004, 2021
52021
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, Z Zhao
LORI 2015 9394, 77-89, 2015
22015
Sahlqvist Correspondence Theory for Sabotage Modal Logic
Z Zhao
arXiv preprint arXiv:2003.08070, 2020
12020
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces
Z Zhao
WoLLIC 2017 10388, 387-400, 2017
12017
Algorithmic correspondence for hybrid logic with binder
Z Zhao
arXiv preprint arXiv:2102.13291, 2021
2021
Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic
Z Zhao
arXiv preprint arXiv:2003.14187, 2020
2020
Unified correspondence and canonicity
Z Zhao
Delft University of Technology, 2018
2018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–18