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

DOI10.1007/S00012-011-0153-0MaRDI QIDQ647319zbMATH OpenOpenAlexFDO

Authors Sergio A. 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)

Recommendations

• Concurrent dynamic algebra
• Concurrent Kleene algebra and its foundations
• Concurrent dynamic logic
• Concurrent Kleene Algebra
• Foundations of concurrent Kleene algebra

Cites work

• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• Parallel action: Concurrent dynamic logic with independent modalities
• Stone coalgebras
• Tools and techniques in modal logic
• Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator
• Topologies on Spaces of Subsets
• Topology and duality in modal logic

Cited in

(1)

• Concurrent dynamic algebra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647319)