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

DOI10.1007/S00012-011-0153-0zbMATH Open1251.03095OpenAlexW1989857104MaRDI QIDQ647319FDOQ647319

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

Recommendations

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

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

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

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)