no code implementations • 10 Dec 2020 • Chun-Yu Lin, Churn-Jung Liau
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach.
Logic in Computer Science F.4.1; I.2.4
no code implementations • ROCLINGIJCLCLP 2015 • Chien-Tsung Huang, Yi-Chung Lin, Chao-Chun Liang, Kuang-Yi Hsu, Shen-yun Miao, Wei-Yun Ma, Lun-Wen Ku, Churn-Jung Liau, Keh-Yih Su
Math Reading Comprehension +1