Characterizing right inverses for spatial constraint systems with applications to modal logic
DOI10.1016/J.TCS.2018.05.022zbMATH Open1400.68134OpenAlexW2782263806MaRDI QIDQ1786563FDOQ1786563
Authors: Salim Perchy, Camilo Rueda, Frank D. Valencia, 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
Recommendations
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic with reverse modalities for history-preserving bisimulations
- Title not available (Why is that?)
- Counterfactuals and updates as inverse modalities
- Linear concurrent constraint programming: Operational and phase semantics
- Spatial and epistemic modalities in constraint-based process calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deriving labels and bisimilarity for concurrent constraint programming
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nondeterminism and infinite computations in constraint programming
- Three logics for branching bisimulation
- Title not available (Why is that?)
- Modal operators on Heyting algebras
- Deriving inverse operators for modal logic
Cited In (4)
This page was built for publication: Characterizing right inverses for spatial constraint systems with applications to modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1786563)
