Zobrazeno 1 - 10
of 768
pro vyhledávání: '"Chen Jinsheng"'
Autor:
Chen, Jinsheng
In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.
Comment: Too many typos
Comment: Too many typos
Externí odkaz:
http://arxiv.org/abs/2309.02699
Public announcement logic(PAL) is an extension of epistemic logic (EL) with some reduction axioms. In this paper, we propose a cut-free labelled sequent calculus for PAL, which is an extension of that for EL with sequent rules adapted from the reduct
Externí odkaz:
http://arxiv.org/abs/2207.10262
Publikováno v:
In Science of the Total Environment 15 December 2024 956
Publikováno v:
In Artificial Intelligence November 2024 336
Autor:
Hu, Baoye, Wang, Yue, Chen, Jinsheng, Chen, Naihua, Hong, Youwei, Xu, Lingling, Fan, Xiaolong, Li, Mengren, Tong, Lei
Publikováno v:
In Environmental Pollution 1 September 2024 356
Autor:
Huang, Biyi, Yi, Xianfang, Zhang, Jianyi, Liu, Yuqiu, Chen, Yanting, Chen, Jinsheng, Wang, Jinxiu
Publikováno v:
In Journal of Rare Earths September 2024 42(9):1682-1692
Autor:
Wei, Yaqian, Chen, Yan, Hong, Youwei, Chen, Jinsheng, Li, Hong-Bo, Li, Hanhan, Yao, Xuewen, Mehmood, Tariq, Feng, Xinyuan, Luo, Xiao-San
Publikováno v:
In Toxicology in Vitro June 2024 98
Autor:
Chen, Gaojie, Ji, Xiaoting, Chen, Jinsheng, Xu, Lingling, Hu, Baoye, Lin, Ziyi, Fan, Xiaolong, Li, Mengren, Hong, Youwei, Chen, Jinfang
Publikováno v:
In Atmospheric Research May 2024 301
Autor:
Lin, Ziyi, Fan, Xiaolong, Chen, Gaojie, Hong, Youwei, Li, Mengren, Xu, Lingling, Hu, Baoye, Yang, Chen, Chen, Yanting, Shao, Zhiqian, Chen, Jinsheng
Publikováno v:
In Journal of Environmental Sciences April 2024 138:561-571
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition
Externí odkaz:
http://arxiv.org/abs/2105.09202