scientific article; zbMATH DE number 1989659
From MaRDI portal
Publication:4430406
zbMath1031.03036MaRDI QIDQ4430406
Publication date: 9 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite model propertycylindric algebrasmodal algebrasproducts of modal logicsmulti-modal logicsfinite algebra property
Related Items
On Satisfiability in ATL with Strategy Contexts ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ Augmenting ATL with strategy contexts