Logics for Kleene Algebra with Modal Operators: Kripke-Completeness and FMP
摘要
This paper studies two kinds of logics for Kleene algebra with modal operators inspired by two different research traditions: positive modal logic and algebraic studies of rough set theory. We show the Kripke-completeness of some logics in the former approach using the canonical model method. We also prove the finite model property of some logics in the other using an algebraic proof-theoretical method.