Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
From MaRDI portal
Publication:647319
DOI10.1007/s00012-011-0153-0zbMath1251.03095OpenAlexW1989857104MaRDI 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
framesvarietyalgebraic semanticstopological dualitycomplex algebramodal algebraconcurrent algebraconcurrent propositional dynamic logicconcurrent spaces
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