S. Knight, C. Palamidessi, P. Panangaden, and F. D. Valencia, Spatial and Epistemic Modalities in Constraint-Based Process Calculi, Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, pp.317-332, 2012.
DOI : 10.1007/978-3-642-32940-1_23

URL : https://hal.archives-ouvertes.fr/hal-00761116

S. Perchy and F. D. Valencia, Opinions and beliefs as constraint system operators, Technical Communications of the 31st International Conference on Logic Programming, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01257098

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about knowledge, 1995.

H. Van-ditmarsch, J. Van-eijck, F. Sietsma, and Y. Wang, On the Logic of Lying, Games, actions and social software, pp.41-72, 2012.
DOI : 10.1007/978-3-642-15675-5_25

URL : https://hal.archives-ouvertes.fr/hal-00756875

V. A. Saraswat, M. Rinard, and P. Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.333-352, 1991.
DOI : 10.1145/99583.99627

M. Guzman, S. Haar, S. Perchy, C. Rueda, and F. D. Valencia, Belief, knowledge, lies and other utterances in an algebra for space and extrusion, Journal of Logical and Algebraic Methods in Programming, vol.86, issue.1, pp.107-133, 2017.
DOI : 10.1016/j.jlamp.2016.09.001

URL : https://hal.archives-ouvertes.fr/hal-01257113

B. A. Davey and H. A. Priestley, Introduction to lattices and order, 2002.
DOI : 10.1017/CBO9780511809088

S. Abramsky and A. Jung, Domain theory Handbook of logic in computer science, pp.1-77, 1994.

S. Vickers, Topology via logic, 1996.

S. Haar, S. Perchy, C. Rueda, and F. D. Valencia, An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP '15, pp.161-172, 2015.
DOI : 10.1145/2790449.2790520

URL : https://hal.archives-ouvertes.fr/hal-01256984