On pretabular logics in NExtK4. I

DOI10.1007/S11225-013-9485-4zbMATH Open1301.03023OpenAlexW2011395665MaRDI QIDQ456965FDOQ456965

Authors Shan Du, Hongkui Kang

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)

Recommendations

• On pretabular logics in NExtK4. II
• A second pretabular classical relevance logic
• Local tabularity without transitivity
• Independent bases for rules admissible in pretabular logics
• There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4197954 (Why is no real title available?)
• An ascending chain of S4 logics
• Der Verband der normalen verzweigten Modallogiken
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Five critical modal systems
• Post complete and 0-axiomatizable modal logics
• Pretabular extensions of Lewis S4
• Pretabular varieties of modal algebras

Cited in

(2)

• On pretabular logics in NExtK4. II
• Local tabularity without transitivity

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456965)