Completeness of modal logics with prefinite width

DOI10.1007/BF01142712zbMath0504.03008MaRDI QIDQ1835665

Vladimir Vladimirovich Rybakov

Publication date: 1983

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

completenessfinite model propertyincomparable elementsfinite slice logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

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

Cites Work

• Logics containing K4. Part I
• An incompleteness theorem in modal logic
• Algebraic semantics for modal logics I
• Unnamed Item

This page was built for publication: Completeness of modal logics with prefinite width