@incollection(abramsky1994domain, author = {Samson Abramsky and Achim Jung}, year = {1994}, title = {Domain Theory}, editor = {Samson Abramsky}, booktitle = {Handbook of Logic in Computer Science}, volume = {3}, publisher = {Oxford University Press}, pages = {1--168}, ) @article(de1995nondeterminism, author = {Frank S. Boer and Di Pierro, Alessandra and Catuscia Palamidessi}, year = {1995}, title = {Nondeterminism and infinite computations in constraint programming}, journal = {Theoretical Computer Science}, pages = {37--78}, doi = {10.1016/0304-3975(95)00047-Z}, ) @book(davey2002introduction, author = {Brian A Davey and Hilary A Priestley}, year = {2002}, title = {Introduction to lattices and order}, edition = {2nd}, publisher = {Cambridge university press}, doi = {10.1017/CBO9780511809088}, ) @article(Esteban:94:Econometrica, author = {Joan-María Esteban and Debraj Ray}, year = {1994}, title = {On the Measurement of Polarization}, journal = {Econometrica}, volume = {62}, number = {4}, pages = {819--851}, doi = {10.2307/2951734}, ) @article(Fages01, author = {Fran{\c{c}}ois Fages and Paul Ruet and Sylvain Soliman}, year = {2001}, title = {Linear Concurrent Constraint Programming: Operational and Phase Semantics}, journal = {Information and Computation}, pages = {14--41}, doi = {10.1006/inco.2000.3002}, ) @book(fagin1995reasoning, author = {Ronald Fagin and Joseph Y Halpern and Yoram Moses and Moshe Y Vardi}, year = {1995}, title = {Reasoning about knowledge}, edition = {4th}, publisher = {MIT press Cambridge}, ) @book(gierz2003continuous, author = {Gerhard Gierz and Karl Heinrich Hofmann and Klaus Keimel and Jimmie D. Lawson and Michael Mislove and Dana S. Scott}, year = {2003}, title = {Continuous lattices and domains}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511542725}, ) @article(guzman:hal-01257113, author = {Michell Guzm{\'a}n and Stefan Haar and Salim Perchy and Camilo Rueda and Frank Valencia}, year = {2016}, title = {{Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion}}, journal = {{Journal of Logical and Algebraic Methods in Programming}}, doi = {10.1016/j.jlamp.2016.09.001}, url = {https://hal.inria.fr/hal-01257113}, ) @techreport(guzman:hal-02172415, author = {Michell Guzm{\'a}n and Sophia Knight and Santiago Quintero and Sergio Ram{\'i}rez and Camilo Rueda and Frank Valencia}, year = {2019}, title = {{Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents}}, type = {Research Report}, institution = {{LIX, Ecole polytechnique}}, url = {https://hal.archives-ouvertes.fr/hal-02172415}, ) @inproceedings(guzman:hal-01328188, author = {Michell Guzman and Salim Perchy and Camilo Rueda and Frank Valencia}, year = {2016}, title = {{Deriving Inverse Operators for Modal Logic}}, booktitle = {{Theoretical Aspects of Computing -- ICTAC 2016}}, series = {Lecture Notes in Computer Science}, volume = {9965}, publisher = {{Springer}}, pages = {214--232}, doi = {10.1007/978-3-319-46750-4\_13}, url = {https://hal.inria.fr/hal-01328188}, ) @article(guzman:hal-01675010, author = {Michell Guzm{\'a}n and Salim Perchy and Camilo Rueda and Frank Valencia}, year = {2018}, title = {{Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic}}, journal = {{Theoretical Computer Science}}, volume = {744}, number = {56--77}, doi = {10.1016/j.tcs.2018.05.022}, url = {https://hal.inria.fr/hal-01675010}, ) @inproceedings(haar:hal-01256984, author = {Stefan Haar and Salim Perchy and Camilo Rueda and Frank Valencia}, year = {2015}, title = {{An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic}}, booktitle = {{17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)}}, publisher = {{ACM SIGPLAN}}, pages = {161--172}, doi = {10.1145/2790449.2790520}, url = {https://hal.inria.fr/hal-01256984}, ) @article(haar:hal-01673529, author = {Stefan Haar and Salim Perchy and Frank Valencia}, year = {2017}, title = {Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach}, journal = {Int. J. Semantic Computing}, volume = {11}, number = {4}, pages = {451--472}, doi = {10.1142/S1793351X17400189}, ) @inproceedings(haar:hal-01328189, author = {Stefan Haar and Salim Perchy and Frank D. Valencia}, year = {2017}, title = {{D-SPACES:} Implementing Declarative Semantics for Spatially Structured Information}, booktitle = {{ICSC}}, publisher = {{IEEE} Computer Society}, pages = {227--233}, doi = {10.1109/ICSC.2017.34}, ) @article(halpern1990knowledge, author = {Joseph Y Halpern and Yoram Moses}, year = {1990}, title = {Knowledge and common knowledge in a distributed environment}, journal = {Journal of the ACM (JACM)}, volume = {37}, number = {3}, pages = {549--587}, doi = {10.1145/79147.79161}, ) @article(halpern2004reasoning, author = {Joseph Y Halpern and Richard A Shore}, year = {2004}, title = {Reasoning about common knowledge with infinitely many agents}, journal = {Information and Computation}, volume = {191}, number = {1}, pages = {1--40}, doi = {10.1016/j.ic.2004.01.003}, ) @article(Hildenbrand1970, author = {Werner Hildenbrand}, year = {1970}, title = {On economies with many agents}, journal = {Journal of Economic Theory}, volume = {2}, number = {2}, pages = {161 -- 188}, doi = {10.1016/0022-0531(70)90003-7}, ) @inproceedings(knight:hal-00761116, author = {Sophia Knight and Catuscia Palamidessi and Prakash Panangaden and Frank D. Valencia}, year = {2012}, title = {{Spatial and Epistemic Modalities in Constraint-Based Process Calculi}}, booktitle = {{CONCUR 2012 - 23rd International Conference on Concurrency Theory}}, series = {Lecture Notes in Computer Science}, volume = {7454}, publisher = {{Springer}}, pages = {317--332}, doi = {10.1007/978-3-642-32940-1}, url = {https://hal.archives-ouvertes.fr/hal-00761116}, ) @article(kripke1963semantical, author = {Saul A Kripke}, year = {1963}, title = {Semantical analysis of modal logic I normal modal propositional calculi}, journal = {Mathematical Logic Quarterly}, pages = {67--96}, doi = {10.1002/malq.19630090502}, ) @article(nielsen2002temporal, author = {Mogens Nielsen and Catuscia Palamidessi and Frank D. Valencia}, year = {2002}, title = {Temporal concurrent constraint programming: Denotation, logic and applications}, journal = {Nordic Journal of Computing}, volume = {9}, number = {1}, pages = {145--188}, ) @inproceedings(ramirez:hal-01934953, author = {Ram{\'{\i}}rez, Sergio and Miguel Romero and Camilo Rocha and Frank Valencia}, year = {2018}, title = {Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming}, booktitle = {Rewriting Logic and Its Applications}, series = {Lecture Notes in Computer Science}, volume = {11152}, publisher = {Springer}, pages = {226--244}, doi = {10.1007/978-3-319-99840-4_13}, ) @article(Rety98, author = {Jean{-}Hugues R{\'{e}}ty}, year = {1998}, title = {Distributed Concurrent Constraint Programming}, journal = {Fundamenta Informaticae}, pages = {323--346}, ) @article(Rueda2004, author = {Camilo Rueda and Frank Valencia}, year = {2004}, title = {On validity in modelization of musical problems by CCP}, journal = {Soft Computing}, volume = {8}, number = {9}, pages = {641--648}, doi = {10.1007/s00500-004-0390-7}, ) @inproceedings(saraswat1991semantic, author = {Vijay A. Saraswat and Martin Rinard and Prakash Panangaden}, year = {1991}, title = {The Semantic Foundations of Concurrent Constraint Programming}, booktitle = {Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '91}, publisher = {ACM}, pages = {333--352}, doi = {10.1145/99583.99627}, ) @book(Serra:1983:IAM, author = {Jean Serra}, year = {1983}, title = {Image Analysis and Mathematical Morphology}, publisher = {Academic Press, Inc.}, address = {Orlando, FL, USA}, )