Publications by CLLC members and students in 2021

 

Li, Y., Wang, Y.

Planning-based knowing how: A unified approach

(2021) Artificial Intelligence, 296, art. no. 103487, .

https://doi.org/10.1016/j.artint.2021.103487

 

Cohen, M., Tang, W., Wang, Y.

De re updates

(2021) Electronic Proceedings in Theoretical Computer Science, EPTCS, 335, pp. 103-117. （Proceedings of TARK2021）

https://doi.org/10.4204/EPTCS.335.9 

 

Li, Y., Wang, Y.

Knowing how to plan

(2021) Electronic Proceedings in Theoretical Computer Science, EPTCS, 335, pp. 233-247. （Proceedings of TARK2021）

https://doi.org/10.4204/EPTCS.335.22 

 

Xu, C., Wang, Y., Studer, T.

A logic of knowing why

(2021) Synthese, 198 (2), pp. 1259-1285. 

https://doi.org/10.1007/s11229-019-02104-0

 

Zhong, S.

Quantum states: an analysis via the orthogonality relation

(2021) Synthese, .

https://doi.org/10.1007/s11229-021-03453-5

 

Zhong, S.

A General Relational Semantics of Propositional Logic: Axiomatization

(2021) Lecture Notes in Computer Science, 13038 LNCS, pp. 82-99. （Proceedings of WoLLIC2021）

https://doi.org/10.1007/978-3-030-88853-4_6 

 

Ding, Y., Liu, J., Wang, Y.

Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic

(2021) Lecture Notes in Computer Science, 13039 LNCS, pp. 58-72. （Proceedings of LORI2021）

https://doi.org/10.1007/978-3-030-88708-7_5

 

Li, Y., Wang, Y.

Neighborhood semantics for logic of knowing how

(2021) Synthese, .

https://doi.org/10.1007/s11229-021-03177-6

 

Chen, B

Xunzi’s politicized and moralized philosophy of language

(2021) Journal of Chinese Philosophy, 36 (1), pp. 107-139.

https://doi.org/10.1163/15406253-03601008

 

Ding, Y. On the Logic of Belief and Propositional Quantification

(2021) Journal of Philosophical Logic, 50(5), pp. 1143–1198

https://doi.org/10.1007/s10992-021-09595-8

 

Ding, Y., Holliday, W.H., Icard, T.F. Logics of imprecise comparative probability

(2021) International Journal of Approximate Reasoning, 132, pp. 154–180

https://doi.org/10.1016/j.ijar.2021.02.004

 

Lin, K. 

Discrete Linear Temporal Logic with Knowing-Value Operator

(2021) Lecture Notes in Computer Science, 13039 LNCS, pp. 141-148. （Proceedings of LORI2021）

https://doi.org/10.1007/978-3-030-88708-7_11

 

Wang, X. 

Completeness Theorems for ∃ □ -Fragment of First-Order Modal Logic

(2021) Lecture Notes in Computer Science, 13039 LNCS, pp. 246-258 （Proceedings of LORI2021）.

https://doi.org/10.1007/978-3-030-88708-7_20

（Best student paper award）

 

Books:

 

邢滔滔，《名家》（诸子百家普及丛书），中国人民大学出版社，2021年10月

王彦晶（译），《君子与顽童：大学教师的职业伦理（25周年纪念版）》 斯蒂文·M.卡恩 著 北京大学出版社 2021年1月