Modal Logic as Poly-Logic: A Non-Relational Approach

This paper explores an alternative non-relational semantics for modal logic, framing modal systems as "poly-logics"—intersections of simpler, foundational logics. Building on pioneering work by J. Kearns and subsequent developments, we demonstrate how established systems such as K series (K, K4, K5, K45), KD series (KD, KD4, KD5, KD45), KB series (KDB, KB, KB4, KB5, KB45) emerge as intersections of logics like KT, KTB, FN, TR, and their extensions. Utilizing Resolution Matrix Semantics (RMS), we establish soundness and completeness for key systems with sketched proofs and introduce an innovative tableau-based proof procedure tailored to RMS. This approach not only unifies disparate modal frameworks but also yields efficient algorithmic tools for validity checking, offering fresh insights into the algebraic structure of modal deduction. Examples illustrate the method's efficacy, highlighting its advantages over traditional Kripke-style model checking.