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, pp.138-152, 2011.

S. Abramsky, M. Dov, T. Gabbay, and . Maibaum, semantic structures, vol.3, 1995.

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

P. Blackburn, M. De-rijke, and Y. Venema, Modal logic, volume 53 of cambridge tracts in theoretical computer science, 2001.

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

T. S. Blyth and . Janowitz, Residuation Theory, International Series of Monographs in Pure and Applied Mathematics, vol.102, 1972.

P. Blackburn, J. Fak-van-benthem, and F. Wolter, Handbook of modal logic, vol.3, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00580143

L. Cardelli and . Brane, International Conference on Computational Methods in Systems Biology, pp.257-278, 2004.

L. Caires and L. Cardelli, A spatial logic for concurrency (part ii), Proceedings of the 13th International Conference of Concurrency Theory, pp.209-225, 2002.

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.

M. Edmund and . Clarke, Orna Grumberg, and Doron Peled. Model checking, 1999.

A. Chagrov and M. Zakharyaschev, Modal logic, vol.35, 1997.

K. Denecke, M. Erné, and S. L. Wismath, Galois connections and applications, vol.565, 2013.

A. Dehon, J. Giavitto, and F. Gruau, 06361 executive report-computing media languages for spaceoriented computation, Dagstuhl Seminar Proceedings

, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2007.

R. De-nicola and G. L. Ferrari, Observational logics and concurrency models, FSTTCS'90, vol.472, pp.301-315, 1990.

R. De-nicola, U. Montanari, and F. Vaandrager, Back and forth bisimulations, CONCUR '90, vol.458, pp.152-165, 1990.

R. De, N. , and F. Vaandrager, Three logics for branching bisimulation, Journal of the ACM (JACM), vol.42, issue.2, pp.458-487, 1995.

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

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

L. Edmund and . Gettier, Is justified true belief knowledge? analysis, vol.23, pp.121-123, 1963.

K. H. Ghk-+-03]-gerhard-gierz, K. Hofmann, J. D. Keimel, M. Lawson, D. S. Mislove et al., Continuous lattices and domains, 2003.

S. Ghp-+-17]-michell-guzman, S. Haar, C. Perchy, F. Rueda, and . 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.

U. Goltz, R. Kuiper, and W. Penczek, Propositional temporal logics and equivalences, CONCUR'92, vol.630, pp.222-236, 1992.

R. Goldblatt, Mathematical modal logic: a view of its evolution, Journal of Applied Logic, vol.1, issue.5, pp.309-392, 2003.

F. Gadducci, F. Santini, F. Luis, F. Pino, and . Valencia, A labelled semantics for soft concurrent constraint programming, International Conference on Coordination Languages and Models, pp.133-149, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01149227

J. Hintikka, Knowledge and belief, 1962.

M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM (JACM), vol.32, issue.1, pp.137-161, 1985.

S. Haar, S. Perchy, C. Rueda, and F. D. , Valencia. An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic, PPDP 2015, pp.161-172, 2015.

Y. Joseph, R. Halpern, and . Shore, Reasoning about common knowledge with infinitely many agents. Information and Computation, vol.191, pp.1-40, 2004.

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

S. Knight, C. Palamidessi, P. Panangaden, and F. Valencia, Spatial and epistemic modalities in constraint-based process calculi, CONCUR 2012, vol.7454, pp.317-332, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00761116

. Ds-macnab, Modal operators on heyting algebras, Algebra Universalis, vol.12, issue.1, pp.5-29, 1981.

. Kenneth-l-mcmillan, Model checking, 2003.

R. Milner, A calculus of communicating systems, 1980.

R. Milner, Communication and concurrency, vol.84, 1989.

R. Milner and D. Sangiorgi, Barbed bisimulation. Automata, Languages and Programming, pp.685-695, 1992.

J. Charles, C. Mckinsey, and A. Tarski, The algebra of topology, Annals of mathematics, pp.141-191, 1944.

C. Olarte, C. Rueda, and F. Valencia, Models and emerging trends of concurrent constraint programming, Constraints, vol.18, issue.4, pp.535-578, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00869192

D. Park, Concurrency and automata on infinite sequences. Theoretical computer science, pp.167-183, 1981.

A. Pnueli and Z. Manna, The temporal logic of reactive and concurrent systems, 1992.

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

N. Arthur and . Prior, Past, present and future, vol.154, 1967.

V. Prakash-panangaden, . Saraswat, J. Philip, . Scott, and . Seely, A hyperdoctrinal view of concurrent constraint programming, Workshop of Semantics: Foundations and Applications, pp.457-476, 1993.

I. Phillips and I. Ulidowski, A logic with reverse modalities for history-preserving bisimulations, EXPRESS'11, vol.64, pp.104-118, 2011.

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

A. Vijay, M. Saraswat, P. Rinard, and . Panangaden, Semantic foundations of concurrent constraint programming, POPL'91, pp.333-352, 1991.

S. Vickers, Topology via logic, 1996.