Local tabularity without transitivity

MaRDI QIDQ4636053zbMATH OpenFDO

Authors Valentin Shehtman, Ilya Shapirovsky

Publication date 23 April 2018

zbMATH Keywords

local tabularitylogic of finite heightpretransitive logic

Mathematics Subject Classification ID

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

Recommendations

• Locally tabular locally finite
• Finite axiomatizability of locally tabular superintuitionistic logics
• On pretabular logics in NExtK4. I
• On pretabular logics in NExtK4. II
• scientific article; zbMATH DE number 3873295

Cited in

(9)

• Hereditarily finitely axiomatizable extensions of logic S4
• Locally tabular locally finite
• Transitive logics of finite width with respect to proper-successor-equivalence
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• scientific article; zbMATH DE number 1735874 (Why is no real title available?)
• On pretabular logics in NExtK4. I
• Finite axiomatizability of locally tabular superintuitionistic logics
• Construction of canonical models for K45 and weaker systems
• Sufficient conditions for local tabularity of a polymodal logic

This page was built for publication: Local tabularity without transitivity

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