scientific article; zbMATH DE number 1156787
From MaRDI portal
Publication:4390774
Properties of the bimodal propositional logics \(S5_{2} C_{n}\), where \(n\) is a natural number, are investigated. \(S5_{2} C_{n}\) is a logic with two modal operators \(\square_{0}\) and \(\square_{1}\) satisfying the axioms of modal logic \(S5\) and the following axiom: \[ (\square_{0}\square_{1})^{n} p\leftrightarrow (\square_{1}\square_{0})^{n} p \] The main result is that the frame of canonical models of \(S5_{2} C_{n}\) is adequate for this logic. Hence we have the finite model property and decidability.
Recommendations
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)
