Branching-time type operators on finite pseudo-Boolean algebras

• Autores: A. D. Yashin
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 47, Nº. 4, 2008, págs. 289-294
• Idioma: inglés
• DOI: 10.1007/s10469-008-9020-2
• Texto completo no disponible (Saber más ...)
• Resumen

  • Branching-time type operators on pseudo-Boolean algebras (PBAs) are considered. It is proved that on a finite PBA, every operator of this type is defined by a subset of points on a finite frame presenting that PBA.