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

A. Baltag, Z. Christoff, K. Rasmus, S. Rendsvig, and . Smets, Dynamic epistemic logics of diffusion and prediction in social networks, 2015.

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2002.
DOI : 10.1017/CBO9781107050884

URL : https://hal.archives-ouvertes.fr/inria-00100503

S. Frank, A. D. Boer, C. Pierro, and . Palamidessi, Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science, pp.37-78, 1995.

L. Caires and L. Cardelli, A Spatial Logic for Concurrency (Part II), Proceedings of the 13th International Conference of Concurrency Theory, CONCUR 2002, pp.209-225, 2002.
DOI : 10.1007/3-540-45694-5_15

L. Caires and L. Cardelli, A spatial logic for concurrency (part i) Information and Computation, pp.194-235, 2003.
DOI : 10.1007/3-540-45694-5_15

E. M. Clarke and O. Grumberg, Avoiding the state explosion problem in temporal logic model checking, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.294-303, 1987.
DOI : 10.1145/41840.41865

A. Brian, . Davey, A. Hilary, and . Priestley, Introduction to lattices and order, 2002.

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

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

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.1007/978-3-642-29326-9_4

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

S. Knight, C. Palamidessi, P. Panangaden, D. Frank, and . 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

Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety, 2012.
DOI : 10.1007/978-1-4612-4222-2

V. Prakash-panangaden, . Saraswat, J. Philip, R. Scott, and . Seely, A hyperdoctrinal view of concurrent constraint programming, Workshop of Semantics: Foundations and Applications, REX, pp.457-476, 1993.
DOI : 10.1007/3-540-56596-5_44

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

A. Pnueli and Z. Manna, The Temporal Logic of Reactive and Concurrent Systems: Specification, 1992.

C. Sakama, M. Caminada, and A. Herzig, A Logical Account of Lying, Proceeedings of the 12th European Conference of Logics in Artificial, pp.286-299, 2010.
DOI : 10.12775/LLP.2006.004

A. Vijay, M. Saraswat, P. Rinard, and . Panangaden, Semantic foundations of concurrent constraint programming, Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pp.333-352, 1991.

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/inria-00535884

S. Vickers, Topology via logic, 1996.