Transitive logics of finite width with respect to proper-successor-equivalence

DOI10.1007/s11225-021-09943-4OpenAlexW3149551834MaRDI QIDQ2062190

Yanyan Li

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09943-4

zbMATH Keywords

modal logicKripke completenesstransitive logics of finite suc-eq-widthtransitive logics of finite widthtransitive logics of prefinite suc-eq-widthtransitive logics of prefinite width

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3

Cites Work

• Unnamed Item
• Tools and techniques in modal logic
• Completeness of modal logics with prefinite width
• Logics containing K4. Part II
• Logics containing K4. Part I
• An incomplete logic containing S4