No label defined (Q4390774)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1156787
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1156787 |
Statements
2 March 1999
0 references
bimodal logics
0 references
canonical models
0 references
finite model property
0 references
decidability
0 references
0.819984495639801
0 references
0.7755751609802246
0 references
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.
0 references
