Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
From MaRDI portal
Publication:647319
DOI10.1007/s00012-011-0153-0zbMath1251.03095MaRDI QIDQ647319
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
frames; variety; algebraic semantics; topological duality; complex algebra; modal algebra; concurrent algebra; concurrent propositional dynamic logic; concurrent spaces
03B70: Logic in computer science
03G10: Logical aspects of lattices and related structures
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
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