Search Results for author: Chun-Yu Lin

Found 1 papers, 0 papers with code

Many-Valued Coalgebraic Modal Logic: One-step Completeness and Finite Model Property

no code implementations10 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

Cannot find the paper you are looking for? You can Submit a new open access paper.