Answers are grounded in this paper and cite their sources.
Analytic properties of K and KT semantics are established, indicating extension possibilities for partial models.
Kearns semantics for modal logic has been introduced in 1981 and was revived by Omori and Skurt in 2016, who recasted the semantics using the framework of non-deterministic matrices. However, it was unclear whether the semantics is analytic: given a partial model, can it be extended to a complete modal? In this paper we provide an affirmative answer for the case of logics K and KT.
No takes yet. Share an insight, caveat, or question.
Lahav et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: