Separable Kripke structures are algebraically universal

DOI10.1007/S000120050121zbMath1006.18004OpenAlexW2149522305MaRDI QIDQ5950778

M. C. Pinto

Publication date: 17 December 2001

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10316/11232

zbMATH Keywords

Kripke structuresalgebraic universalitydynamic algebrasperfect class of Kripke structures

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Embedding theorems, universal categories (18B15)

This page was built for publication: Separable Kripke structures are algebraically universal