Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00012-011-0153-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1989857104
@@ Property / OpenAlex ID: W1989857104 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495853
@@ Property / cites work: Q4495853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel action: Concurrent dynamic logic with independent modalities
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies on Spaces of Subsets
@@ Property / cites work: Topologies on Spaces of Subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and duality in modal logic
@@ Property / cites work: Topology and duality in modal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:647319