scientific article
From MaRDI portal
Publication:2853714
zbMath1284.03276MaRDI QIDQ2853714
Publication date: 16 October 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (4)
The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Omitting Types in Fragments and Extensions of First Order Logic ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
This page was built for publication: