scientific article; zbMATH DE number 1156787

MaRDI QIDQ4390774zbMATH OpenFDO

Authors M. I. Golovanov

Publication date 2 March 1999

zbMATH Keywords

decidabilitycanonical modelsfinite model propertybimodal logics

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

(10)

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

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)