K and KT: an analytic non-deterministic view

Key Points

• This paper investigates whether Kearns semantics for modal logic is analytic by determining the extension of partial models to complete ones.
• Utilized Kearns semantics framework for modal logic; examined non-deterministic matrices for analytic properties.
• Analyzed the extension capabilities of partial models into complete modal forms for logics K and KT.
• Provided an affirmative solution to the analytic nature of K and KT logics.
• Demonstrated that partial models can indeed be extended to complete modal models.

Abstract