Belief, knowledge, lies and other utterances in an algebra for space and extrusion

详细信息    查看全文

• 作者：Michell Guzman^a ; ^{michell.guzman@inria.fr} ; Stefan Haar^b ; ^{stefan.haar@inria.fr} ; Salim Perchy^a ; ^{yamil-salim.perchy@inria.fr} ; Camilo Rueda^c ; ^{camilo.rueda@cic.puj.edu.co} ; Frank D. Valencia^c ; ^d ; ^{frank.valencia@lix.polytechnique.fr}
• 关键词：Algebraic structures ; Modal logic ; Epistemic logic ; Concurrency theory ; Mobility ; Lies
• 刊名：Journal of Logical and Algebraic Methods in Programming
• 出版年：2017
• 出版时间：January 2017
• 年：2017
• 卷：86
• 期：1
• 页码：107-133
• 全文大小：748 K
• 卷排序：86

文摘

Extrusion and space operations expressing mobility in distributed concurrent systems. Canonical solutions for deriving corresponding extrusions to space functions. Characterization of properties such as space consistency and Galois connections. Semantic interpretation of formulas from a modal logic of Belief and Utterance. Representation of S4 knowledge using the spatial operation for global information.