Local tabularity without transitivity

zbMATH Open1400.03051MaRDI QIDQ4636053FDOQ4636053

Authors: Valentin Shehtman, Ilya Shapirovsky 

Publication date: 23 April 2018

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

zbMATH Keywords

local tabularitylogic of finite heightpretransitive logic

Mathematics Subject Classification ID

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

Cited In (6)

• Finite axiomatizability of locally tabular superintuitionistic logics
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Hereditarily finitely axiomatizable extensions of logic S4
• On pretabular logics in NExtK4. I
• Locally tabular \(\neq \) locally finite
• Title not available (Why is that?)

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)