Modal logics of finite direct powers of ω have the finite model property

2019/03/11 by Ilya Shapirovsky, Shapirovsky, Ilya
Medicine · #FOS: Mathematics #Logic (math.LO) #Platelet Disorders and Treatments

paper · pdf · doi:10.48550/arxiv.1903.04614

openalex publication_date 2019/03/11 · openalex created_date 2022/07/13 · openalex updated_date 2026/07/28

Abstract

Let (ωⁿ,\preceq) be the direct power of n instances of (ω,≤), natural numbers with the standard ordering, (ωⁿ,\prec) the direct power of n instances of (ω,

Related

• Knocking Down Boxes: The FMP for K ⊕ \Box^m+k p → \Box^m p
• The Finite Model Property of Quasi-transitive Modal Logic
• The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom
• Representation theorems in modal logic using algebraic logic
• Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction