On pretabular logics in NExtK4. I

DOI10.1007/s11225-013-9485-4zbMath1301.03023OpenAlexW2011395665MaRDI QIDQ456965

Hongkui Kang, Shan Du

Publication date: 26 September 2014

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

Full work available at URL: https://doi.org/10.1007/s11225-013-9485-4

zbMATH Keywords

finite depthpointwise reductionspretabular logicspretabularity criteria

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• Post complete and 0-axiomatizable modal logics
• Pretabular varieties of modal algebras
• Pretabular extensions of Lewis S4
• Finite equational bases for finite algebras in a congruence-distributive equational class
• An ascending chain of S4 logics
• Five critical modal systems

This page was built for publication: On pretabular logics in NExtK4. I