2020/12/10 by Chun-Yu Lin, Lin, Chun-Yu, Churn‐Jung Liau +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.2012.05604
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve as semantic structures for various kinds of modal logics. A well-known result in coalgebraic modal logic is that its completeness can be determined at the one-step level. We generalize the result to the finitely many-valued case by using the canonical model construction method. We prove the result for coalgebraic modal logics based on three different many-valued algebraic structures, including the finitely-valued Łukasiewicz algebra, the commutative integral Full-Lambek algebra (FLew-algebra) expanded with canonical constants and Baaz Delta, and the FLew-algebra expanded with valuation operations. In addition, we also prove the finite model property of the many-valued coalgebraic modal logic by using the filtration technique.