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

A. Aristizábal, F. Bonchi, C. Palamidessi, L. Pino, D. Valencia et al., Deriving Labels and Bisimilarity for Concurrent Constraint Programming, Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2011, pp.138-152, 2011.
DOI : 10.1007/978-3-642-19805-2_10

J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: Mobile Processes, Nominal Data, and Logic, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.39-48, 2009.
DOI : 10.1109/LICS.2009.20

S. Bistarelli and F. Santini, A secure non-monotonic soft concurrent constraint language, Fundamenta Informaticae, vol.134, pp.261-285, 2014.

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2002.
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502

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

L. Bortolussi and H. Wiklicky, A Distributed and Probabilistic Concurrent Constraint Programming Language, Logic Programming, pp.143-158, 2005.
DOI : 10.1007/11562931_13

L. Brim, M. Kretinsky, J. Jacquet, and D. Gilbert, Modelling multiagent systems as synchronous concurrent constraint processes, Computing and informatics, vol.21, pp.565-590, 2002.

M. G. Buscemi and U. Montanari, CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements, Proceedings of the 16th European Symposium on Programming Languages and Systems, pp.18-32, 2007.
DOI : 10.1007/978-3-540-71316-6_3

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.

L. Cardelli and A. D. Gordon, Mobile ambients, Proceedings of the First International Conference on Foundations of Software Science and Computation Structure, FoSSaCS'98, pp.140-155, 1998.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

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

A. D. Pierro, C. Palamidessi, and F. S. Boer, An algebraic perspective of constraint logic programming, Journal of Logic and Computation, pp.1-38, 1997.

J. F. Díaz, C. Rueda, and F. D. Valencia, Pi+-calculus: A calculus for concurrent processes with constraints Special Issue of Best Papers presented at CLEI'97, 1998.

F. Fages, P. Ruet, and S. Soliman, Linear concurrent constraint programming: Operational and phase semantics. Information and Computation, pp.14-41, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01431358

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

M. Falaschi, C. Olarte, C. Palamidessi, and F. D. Valencia, Declarative Diagnosis of Temporal Concurrent Constraint Programs, ICLP'07, pp.271-285, 2007.
DOI : 10.1007/978-3-540-74610-2_19
URL : https://hal.archives-ouvertes.fr/inria-00201065

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove et al., Continuous lattices and domains, 2003.
DOI : 10.1017/CBO9780511542725

D. Gilbert and C. Palamidessi, Concurrent Constraint Programming with Process Mobility, Computational Logic?CL, pp.463-477, 2000.
DOI : 10.1007/3-540-44957-4_31

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

J. Y. Halpern, D. Samet, and E. Segev, Defining knowledge in terms of belief: The modal logic perspective. The Review of Symbolic Logic, pp.469-487, 2009.

J. Hintikka, Knowledge and belief, 1962.

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. A. Kripke, Semantical analysis of modal logic i normal modal propositional calculi, Mathematical Logic Quarterly, pp.67-96, 1963.

Z. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems: Specification, 1992.
DOI : 10.1007/978-1-4612-0931-7

J. C. Mckinsey and A. Tarski, The Algebra of Topology, The Annals of Mathematics, vol.45, issue.1, pp.141-191, 1944.
DOI : 10.2307/1969080

N. P. Mendler, P. Panangaden, P. J. Scott, and R. Seely, A logical view of concurrent constraint programming, Nordic Journal of Computing, pp.181-220, 1995.

C. Olarte and F. D. Valencia, The expressivity of universal timed CCP, Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '08, pp.8-19, 2008.
DOI : 10.1145/1389449.1389452
URL : https://hal.archives-ouvertes.fr/inria-00349353

C. Olarte, V. Nigam, and E. Pimentel, Dynamic Spaces in Concurrent Constraint Programming, Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, pp.103-121, 2013.
DOI : 10.1016/j.entcs.2014.06.008

P. Panangaden, V. Saraswat, P. J. Scott, and R. 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

I. Phillips and I. Ulidowski, A logic with reverse modalities for historypreserving bisimulations, Proceedings of the 18th International Workshop on Expressiveness in Concurrency, pp.104-118, 2011.

S. Popkorn, First steps in modal logic, 1994.

J. Réty, Distributed concurrent constraint programming, Fundamenta Informaticae, pp.323-346, 1998.

M. Ryan and P. Schobbens, Counterfactuals and updates as inverse modalities, Journal of Logic, Language and Information, pp.123-146, 1997.

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.1007/978-3-642-15675-5_25

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

H. Van-ditmarsch, Dynamics of lying. Synthese, pp.745-777, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01273567

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

S. Vickers, Topology via logic, 1996.