Characterizing right inverses for spatial constraint systems with applications to modal logic
type: Item
instance of: scholarly article
title: Characterizing right inverses for spatial constraint systems with applications to modal logic
zbMATH Open document ID: 1400.68134
author: Salim Perchy
author: Camilo Rueda
author: Frank D. Valencia
author: Michell Guzman
published in: Theoretical Computer Science
publication date: 2018-09-24T00:00:00Z
full work available at URL: final-tcs.pdf
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6942950
zbMATH Keywords: constraint systems
zbMATH Keywords: concurrent constraint programming
zbMATH Keywords: concurrency theory
zbMATH Keywords: modal logic
zbMATH Keywords: inverse operators
MaRDI profile type: Publication
OpenAlex ID: W2782263806
cites work: Spatial and Epistemic Modalities in Constraint-Based Process Calculi
cites work: Nondeterminism and infinite computations in constraint programming
cites work: Linear concurrent constraint programming: Operational and phase semantics
cites work: Q4264203
cites work: Q3150207
cites work: Q4325547
cites work: Counterfactuals and updates as inverse modalities
cites work: Q4965863
cites work: Q4845472
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Q4716293
cites work: Deriving Inverse Operators for Modal Logic
cites work: Belief, knowledge, lies and other utterances in an algebra for space and extrusion
cites work: Q4843177
cites work: Deriving Labels and Bisimilarity for Concurrent Constraint Programming
cites work: Q5556395
cites work: Q3992568
cites work: Modal operators on Heyting algebras
cites work: Q3128959
cites work: Q3358716
cites work: Three logics for branching bisimulation
cites work: Q4056047
DOI: 10.1016/J.TCS.2018.05.022
description: scientific article; zbMATH DE number 6942950