Characterizing right inverses for spatial constraint systems with applications to modal logic

DOI10.1016/j.tcs.2018.05.022zbMath1400.68134OpenAlexW2782263806MaRDI QIDQ1786563

Salim Perchy, Frank D. Valencia, Camilo Rueda, Michell Guzman

Publication date: 24 September 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01675010/file/final-tcs.pdf

zbMATH Keywords

modal logicinverse operatorsconcurrent constraint programmingconcurrency theoryconstraint systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Reasoning about distributed information with infinitely many agents

Cites Work

• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Nondeterminism and infinite computations in constraint programming
• Modal operators on Heyting algebras
• Counterfactuals and updates as inverse modalities
• Linear concurrent constraint programming: Operational and phase semantics
• Spatial and Epistemic Modalities in Constraint-Based Process Calculi
• Deriving Labels and Bisimilarity for Concurrent Constraint Programming
• Deriving Inverse Operators for Modal Logic
• Algebraic laws for nondeterminism and concurrency
• Three logics for branching bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characterizing right inverses for spatial constraint systems with applications to modal logic