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

DOI10.1016/J.TCS.2018.05.022MaRDI QIDQ1786563zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

modal logicconcurrent constraint programmingconcurrency theoryconstraint systemsinverse operators

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)

Recommendations

• Deriving inverse operators for modal logic
• On the expressiveness of spatial constraint systems
• Inverses for normal modal operators
• Spatial and epistemic modalities in constraint-based process calculi
• scientific article; zbMATH DE number 1927564

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 4210118 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3470465 (Why is no real title available?)
• scientific article; zbMATH DE number 1337862 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 949397 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A logic with reverse modalities for history-preserving bisimulations
• Algebraic laws for nondeterminism and concurrency
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Counterfactuals and updates as inverse modalities
• Deriving inverse operators for modal logic
• Deriving labels and bisimilarity for concurrent constraint programming
• Linear concurrent constraint programming: Operational and phase semantics
• Modal operators on Heyting algebras
• Nondeterminism and infinite computations in constraint programming
• Spatial and epistemic modalities in constraint-based process calculi
• Three logics for branching bisimulation

Cited in

(4)

• Reasoning about distributed information with infinitely many agents
• scientific article; zbMATH DE number 7449993 (Why is no real title available?)
• Deriving inverse operators for modal logic
• scientific article; zbMATH DE number 7649937 (Why is no real title available?)

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)