scientific article; zbMATH DE number 1156787

zbMATH Open0908.03024MaRDI QIDQ4390774FDOQ4390774

Authors: M. I. Golovanov 

Publication date: 2 March 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

decidabilitycanonical modelsfinite model propertybimodal logics

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)