Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic

DOI10.1007/s00012-011-0153-0zbMath1251.03095OpenAlexW1989857104MaRDI QIDQ647319

Sergio Arturo Celani

Publication date: 23 November 2011

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

Full work available at URL: https://doi.org/10.1007/s00012-011-0153-0

zbMATH Keywords

framesvarietyalgebraic semanticstopological dualitycomplex algebramodal algebraconcurrent algebraconcurrent propositional dynamic logicconcurrent spaces

Mathematics Subject Classification ID

Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• Stone coalgebras
• Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator
• Topology and duality in modal logic
• Parallel action: Concurrent dynamic logic with independent modalities
• Tools and techniques in modal logic
• Topologies on Spaces of Subsets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic