Branching-time type operators on finite pseudo-Boolean algebras

DOI10.1007/S10469-008-9020-2zbMath1164.03356OpenAlexW1987450169MaRDI QIDQ3546132

Aleksandr D. Yashin

Publication date: 18 December 2008

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-008-9020-2

zbMATH Keywords

finite framepseudo-Boolean algebrabranching-time type operator

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05)

This page was built for publication: Branching-time type operators on finite pseudo-Boolean algebras