Deriving Inverse Operators for Modal Logic

DOI10.1007/978-3-319-46750-4_13zbMath1482.68153OpenAlexW2522715943MaRDI QIDQ3179402

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

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01328188v2/file/main.pdf

zbMATH Keywords

modal logicbisimulationinverse operatorsconstraint systemsmodal algebra

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 (5)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic ⋮ Reasoning about distributed information with infinitely many agents

Cites Work

• 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
• Declarative Diagnosis of Temporal Concurrent Constraint Programs
• 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

This page was built for publication: Deriving Inverse Operators for Modal Logic