Skip to Main content Skip to Navigation
Journal articles

Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic

Michell Guzmán 1 Salim Perchy 1 Camilo Rueda 2 Frank Valencia 1, 2
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : Spatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems. In this paper spatial constraint systems are used to give an abstract characterization of the notion of normality in modal logic and to derive right inverse/reverse operators for modal languages. In particular, a necessary and sufficient condition for the existence of right inverses is identified and the abstract notion of normality is shown to correspond to the preservation of finite suprema. Furthermore, a taxonomy of normal right inverses is provided, identifying the greatest normal right inverse as well as the complete family of minimal right inverses. These results are applied to existing modal languages such $ as the weakest normal modal logic, Hennessy-Milner logic, and linear-time temporal logic. Some implications of these results are also discussed in the context of modal concepts such as bisimilarity and inconsistency invariance.
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-01675010
Contributor : Frank D. Valencia <>
Submitted on : Tuesday, May 15, 2018 - 5:17:05 PM
Last modification on : Friday, January 8, 2021 - 11:22:05 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 11:16:02 AM

File

final-tcs.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01675010, version 2

Collections

Citation

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank Valencia. Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic. Theoretical Computer Science, Elsevier, 2018, 744 (56--77). ⟨hal-01675010v2⟩

Share

Metrics

Record views

511

Files downloads

665