Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563): Difference between revisions

@@ Property / OpenAlex ID @@
+W2782263806
@@ Property / OpenAlex ID: W2782263806 / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial and Epistemic Modalities in Constraint-Based Process Calculi
+Normal rank
@@ Property / cites work @@
+Nondeterminism and infinite computations in constraint programming
+Normal rank
@@ Property / cites work @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Q4264203
@@ Property / cites work: Q4264203 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150207
@@ Property / cites work: Q3150207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterfactuals and updates as inverse modalities
@@ Property / cites work: Counterfactuals and updates as inverse modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965863
@@ Property / cites work: Q4965863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716293
@@ Property / cites work: Q4716293 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Inverse Operators for Modal Logic
@@ Property / cites work: Deriving Inverse Operators for Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Belief, knowledge, lies and other utterances in an algebra for space and extrusion
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Labels and Bisimilarity for Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal operators on Heyting algebras
@@ Property / cites work: Modal operators on Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358716
@@ Property / cites work: Q3358716 / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4056047
@@ Property / cites work: Q4056047 / rank @@
+Normal rank