Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 27
Number of items: 27
  • van Benthem, J. F. A. K., Gerbrandy, J. D., & Pacuit, E. J. (2007). Merging Frameworks for Interaction: DEL and ETL. In Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK XI) (pp. 72-81). ACM DL.
  • Hansen, H. H., Kupke, C., & Pacuit, E. (2007). Bisimulation for Neighbourhood Structures. In T. Mossakowski, U. Montanari, & M. Haveraaen (Eds.), Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings (pp. 279-293). (Lecture Notes in Computer Science; Vol. 4624). Springer. https://doi.org/10.1007/978-3-540-73859-6_19
  • van Benthem, J., & Pacuit, E. (2006). The Tree of Knowledge in Action: Towards a Common Perspective. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.), Advances in Modal Logic 6 (pp. 87-106). College Publications. http://www.aiml.net/volumes/volume6/
  • Pacuit, E. J., Parikh, R., & Cogan, E. (2006). The Logic of Knowledge Based Obligation. Synthese, 149(2), 311-341.
  • Pacuit, E. J., & Arlo-Costa, H. (2006). Classical Systems of First-Order Modal Logic. Studia Logica, 84(2), 171-210.
  • Endriss, U., & Pacuit, E. J. (2006). Modal Logics of Negotiation and Preference. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA-2006) (Vol. 4160, pp. 138-150). Springer-Verlag.
  • Pacuit, E. J., & Parikh, R. (2006). Social Interaction, Knowledge, and Social Software. In D. Goldin, S. Smolka, & P. Wegner (Eds.), Interactive Computation: The New Paradigm (pp. 441-461). Springer-Verlag.
Page 3 of 3