scientific article; zbMATH DE number 4174894

MaRDI QIDQ3199393zbMATH OpenFDO

Authors Gisele Fischer Servi

Publication date 1989

zbMATH Keywords

bimodal logicfinite axiomatizabilitynumber of modalities

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1156787
• scientific article; zbMATH DE number 1285767
• Properties of independently axiomatizable bimodal logics
• On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\)
• Non-finitely axiomatisable two-dimensional modal logics

Cited in

(5)

• What is the upper part of the lattice of bimodal logics?
• Properties of independently axiomatizable bimodal logics
• scientific article; zbMATH DE number 1285767 (Why is no real title available?)
• scientific article; zbMATH DE number 1156787 (Why is no real title available?)
• A Bicategorical Model for Finite Nondeterminism

This page was built for publication:

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