Local tabularity without transitivity

MaRDI QIDQ4636053zbMATHFDO

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 \(\neq \) 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

(6)

• scientific article; zbMATH DE number 1735874 (Why is no real title available?)
• Finite axiomatizability of locally tabular superintuitionistic logics
• Hereditarily finitely axiomatizable extensions of logic S4
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Locally tabular \(\neq \) locally finite
• On pretabular logics in NExtK4. I

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)