scientific article; zbMATH DE number 1156787

MaRDI QIDQ4390774zbMATH OpenFDO

Authors M. I. Golovanov

Publication date 2 March 1999

zbMATH Keywords

bimodal logicscanonical modelsdecidabilityfinite model property

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1285767
• scientific article; zbMATH DE number 1114336
• scientific article; zbMATH DE number 4174894
• scientific article; zbMATH DE number 1080249
• All normal extensions of S5-squared are finitely axiomatizable

Cited in

(13)

• What is the upper part of the lattice of bimodal logics?
• All normal extensions of S5-squared are finitely axiomatizable
• All proper normal extensions of S5-square have the polynomial size model property
• Propositional quantification in bimodal S5
• Disappearing diamonds: Fitch-like results in bimodal logic
• On admissible rules for the polymodal logic \(\text{S}5_n\text{C}\)
• Sound and complete axiomatic system with a modality =_1 _2
• scientific article; zbMATH DE number 4174894 (Why is no real title available?)
• Properties of independently axiomatizable bimodal logics
• scientific article; zbMATH DE number 1285767 (Why is no real title available?)
• scientific article; zbMATH DE number 698627 (Why is no real title available?)
• scientific article; zbMATH DE number 1080249 (Why is no real title available?)
• The bimodal logic of commuting difference operators is decidable

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 Q4390774)