Publications

2022

Articles

Fenrong Liu, Dazhu Li. Ten-Year History of Social Network Logics in China. Asian Studies, 10(2), 121–146.

Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin. Hybrid Sabotage Modal Logic. Journal of Logic and Computation, 2022; https://doi.org/10.1093/logcom/exac006.

Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando. The Modal Logic of Stepwise removal. Review of Symbolic Logic, 15(1): 36-63 (2022)

Haibin Gui. Jin Yuelin's Response to Skepticism: From Facts and Original Rules. Studies in Dialectics of Nature, 2022(03)
桂海斌《金岳霖对怀疑论的回应——从“事”和“理”两个角度看》.《自然辩证法研究》2022年第3期

Qian Chen, Minghui Ma. Tabularity and Post-completeness in Tense Logic. Review of Symbolic Logic:1-18

Yiyan Wang, Martin Stokhof. A Relational Perspective on Collective Agency. Philosophies, 7 (3):63 (2022)

Kaibo Xie, Jialiang Yan. A Logic for Desire Based on Causal Inference. Journal of Logic and Computation, 2022

Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie. Non-strict Interventionism: The Case Of Right-Nested Counterfactuals. Journal of Logic, Language and Information, 31(2): 235-260 (2022) )

Yanjing Wang, Yu Wei, Jeremy Seligman. Quantifier-free Epistemic Term-modal Logic with Assignment Operator. Annals of Pure and Applied Logic, 173(3): 103071 (2022)

Jialiang Yan. The Overtone of Monotonicity under Desire. Proceedings of Student Session, ESSIILI 2022. https://2022.esslli.eu/courses-workshops-accepted/student-session.html

BOOKS
走向意义:形式语义学与维特根斯坦

(荷)司马亭(Martin Stokhof) 著;戴益斌译.

  北京:清华大学出版社,2022.5

(逻辑、语言与智能:新清华逻辑文丛)

  ISBN 978-7-302-60092-3

  https://item.jd.com/13325929.html


Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps

Authors: Peter van Emde Boas, Ghica van Emde Boas, Kaibo Xie, Bonan Zhao.

  Springer Singapore, 2022.10.

Logic in Asia: Studia Logica Library

  ISBN 978-981-19-6249-3

  https://link.springer.com/book/10.1007/978-981-19-6250-9


2021

ARTICLES

Johan van Benthem and Dag Westerståhl. Generalized Quantifiers Meet Modal Neighborhood Semantics. In J. Madarász, G. Székely eds., Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic, Springer, 2021, 187-206.

Alexandru Baltag, Johan van Benthem. A Simple Logic of Functional Dependence. Journal of Philosophical Logic, 50(5): 939-1005, 2021

Chenwei Shi, Yang Sun. Logic of Convex Order. Studia Logica, 109(5): 1019-1047, 2021

Martin Stokhof. The Affordances of Art: the Role of the Individual and the Case of Literature. Adaptive Behavior, Online first, 2021

Denis Bonnay and Dag Westerståhl. Carnap’s Problem for Modal Logic. Review of Symbolic Logic, 2021

Johan van Benthem, Fenrong Liu, and Sonja Smets. Logico-computational Aspects of Rationality. In The Handbook of Rationality, The MIT Press, 2021.

Fenrong Liu, Beishui Liao. Reasoning in Social Setting. Journal of Logic and Computation, 31(4), pp. 1023-1025, 2021.

Chenwei Shi. Collective Opinion as Tendency Towards Consensus. Journal of Philosophical Logic, 50(3): 593-613, 2021.

Chenwei Shi. No False Grounds and Topology of Argumentation. Journal of Logic and Computation, 31(4): 1079-1101, 2021.

Dazhu Li, Sujata Ghosh, Fenrong Liu, and Yaxin Tu. On the Subtle Nature of A Simple Logic of the Hide and Seek Game. In A. Silva, R. Wassermann, and R. de Queiroz, eds., Proceedings of WoLLIC 2021, vol.13038 of LNCS, pp. 201-218, Springer, 2021.

Yu Chen. Sequent calculus for weak logic F. Studies in Logic, 6(1): 28-48, 2021.
陈钰. 弱逻辑F的矢列演算. 逻辑学研究, 2021, 6(1):28-48.

BOOKS
逻辑的视野

王路著.

  北京:清华大学出版社,2021.6

(逻辑、语言与智能:新清华逻辑文丛)

  ISBN 9787302580034

  


截屏2022-08-24 15.45.06
PRICAI 2021: Trends in Artificial Intelligence
-18th Pacific Rim International Conference on Artificial Intelligence

Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu, eds.

  Springer Cham, 2021. 11

https://doi.org/10.1007/978-3-030-89370-5

  ISBN 978-3-030-89369-9

  


2020

ARTICLES

Johan van Benthem, Fenrong Liu. New Logical Perspectives on Monotonicity. Proceedings of 2nd TLLM, 2020, 1-12

Johan van Benthem, Fenrong Liu. Graph Games and Logic Design. In F. Liu, H. Ono & J. Yu, eds., Knowledge, Proof and Dynamics, Springer Science, Dordrecht, 2020

Fenrong Liu, Xiaoxuan Fu. A Third Way of Studying Preference: Between Qualitative and Quantitative Approaches. Journal of Zhejiang University
刘奋荣,付小轩. 关于偏好关系的质化与量化的研究——中间道路的探索.《浙江大学学报》​

Junhua Yu. Lyndon Interpolation Theorem of Instantial Neighborhood Logic, Construc- tively via A Sequent Calculus. Annals of Pure and Applied Logic, 102721, 2020

Chenwei Shi. Potential Group Belief. Journal of Zhejiang University, 2020,50(5): 71-79
石辰威. 潜在集体信念. 浙江大学学报, 2020,50(5): 71-79

Zhiqiang Sun, Fenrong Liu. The Inference Pattern Mou in Mohist Logic – A Monotonicity Reasoning View. Roczniki Filozoficzne (Annals of Philosophy), 2020 No. 4, 105-117

Jialiang Yan and Fenrong Liu. Monotonic Opaqueness in Deontic Contexts. In B. Liao and Y. N. Wang (eds.), Context, Conflict and Reasoning, Springer: Singapore, 2020, 87-97

BOOKS
Monotonicity in Logic and Language
-Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning

Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl, eds.

 Springer Berlin, Heidelberg

https://doi.org/10.1007/978-3-662-62843-0

  ISBN 978-3-662-62842-3

  


61y1P2BiCJL
Knowledge, Proof and Dynamics
-The Fourth Asian Workshop on Philosophical Logic

Fenrong Liu, Hiroakira Ono, Junhua Yu, eds.

 Springer Singapore

https://doi.org/10.1007/978-981-15-2221-5

  ISBN 978-981-15-2220-8