Követés
Zhiguang Zhao
Zhiguang Zhao
Taishan University
E-mail megerősítve itt: tudelft.nl - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1152018
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao
Journal of Logic and Computation 27 (3), 775–816, 2017
602017
Sahlqvist via translation
W Conradie, A Palmigiano, Z Zhao
Logical Methods in Computer Science 15 (1), 1-35, 2019
442019
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
392015
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
262017
Positive formulas in intuitionistic and minimal logic
DHJ de Jongh, Z Zhao
TbiLLC 2013 8984, 175-189, 2015
172015
Universal models for the positive fragment of intuitionistic logic
N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao
TbiLLC 2015 10148, 229-250, 2017
15*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
7*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
Axiomatization of Modal logic with counting
X Fu, Z Zhao
Logic Journal of the IGPL, 2024
4*2024
Decidability for modal logic with counting ML (#) in different frame classes
X Fu, Z Zhao
Studies in Logic 17 (3), 86-101, 2024
42024
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
Modal Logic with “Most”
X Fu, Z Zhao
Studia Logica, 2024
32024
Correspondence theory for modal logic with counting
X Fu, Z Zhao
Submitted, 2023
32023
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20