On the Expressiveness of Spatial Constraint Systems

Authors Michell Guzmán, Frank D. Valencia

Thumbnail PDF


  • Filesize: 0.49 MB
  • 12 pages

Document Identifiers

Author Details

Michell Guzmán
Frank D. Valencia

Cite AsGet BibTex

Michell Guzmán and Frank D. Valencia. On the Expressiveness of Spatial Constraint Systems. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 16:1-16:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


In this paper we shall report on our progress using spatial constraint system as an abstract representation of modal and epistemic behaviour. First we shall give an introduction as well as the background to our work. Then, we present our preliminary results on the representation of modal behaviour by using spatial constraint systems. Then, we present our ongoing work on the characterization of the epistemic notion of knowledge. Finally, we discuss about the future work of our research.
  • Epistemic logic
  • Modal logic
  • Constraint systems
  • Concurrent constraint programming


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Samson Abramsky and Achim Jung. Domain theory. Handbook of logic in computer science, pages 1-77, 1994. Google Scholar
  2. Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal Logic. Cambridge University Press, 1st edition, 2002. Google Scholar
  3. Frank S. Boer, Alessandra Di Pierro, and Catuscia Palamidessi. Nondeterminism and infinite computations in constraint programming. Theoretical Computer Science, pages 37-78, 1995. Google Scholar
  4. Alessandra Di Pierro, Catuscia Palamidessi, and Frank S. Boer. An algebraic perspective of constraint logic programming. Journal of Logic and Computation, pages 1-38, 1997. Google Scholar
  5. Ronald Fagin, Joseph Y Halpern, Yoram Moses, and Moshe Y Vardi. Reasoning about knowledge. MIT press Cambridge, 4th edition, 1995. Google Scholar
  6. M. Guzman, S. Haar, S. Perchy, C. Rueda, and F. Valencia. Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Journal of Logical and Algebraic Methods in Programming, 2016. Google Scholar
  7. M. Guzman, S. Perchy, C. Rueda, and F. Valencia. Deriving extrusion on constraint systems from concurrent constraint programming process calculi. In ICTAC 2016, 2016. Google Scholar
  8. Jaakko Hintikka. Knowledge and belief. Cornell Univeristy Press, 1962. Google Scholar
  9. Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, and Frank D Valencia. Spatial and epistemic modalities in constraint-based process calculi. In CONCUR 2012, pages 317-332. Springer, 2012. Google Scholar
  10. John Charles Chenoweth McKinsey and Alfred Tarski. The algebra of topology. Annals of mathematics, pages 141-191, 1944. Google Scholar
  11. Nax P Mendler, Prakash Panangaden, Philip J Scott, and RAG Seely. A logical view of concurrent constraint programming. Nordic Journal of Computing, pages 181-220, 1995. Google Scholar
  12. Prakash Panangaden, Vijay Saraswat, Philip J Scott, and RAG Seely. A hyperdoctrinal view of concurrent constraint programming. In Workshop of Semantics: Foundations and Applications, REX, pages 457-476. Springer, 1993. Google Scholar
  13. Amir Pnueli and Zohar Manna. The temporal logic of reactive and concurrent systems. Springer, 1992. Google Scholar
  14. Sally Popkorn. First steps in modal logic. Cambridge University Press, 1st edition, 1994. Google Scholar
  15. Vijay A Saraswat, Martin Rinard, and Prakash Panangaden. Semantic foundations of concurrent constraint programming. In POPL'91, pages 333-352, 1991. Google Scholar
  16. Steven Vickers. Topology via logic. Cambridge University Press, 1st edition, 1996. Google Scholar