Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 25
Number of items: 25
  • Sadrzadeh, M., Palmigiano, A., & Ma, M. (2011). Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. In H. van Ditmarsch, J. Lang, & S. Ju (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp. 394-395). (Lecture Notes in Computer Science ; Vol. 6953), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-24130-7_34
  • Gehrke, M., Jansana, R., & Palmigiano, A. (2010). Canonical extensions for congruential logics with the deduction theorem. Annals of Pure and Applied Logic, 161(12), 1502-1519. https://doi.org/10.1016/j.apal.2010.05.003
  • Open Access
    Palmigiano, A., & Re, R. (2010). Topological groupoid quantales. Studia Logica, 95(1-2), 125-137. https://doi.org/10.1007/s11225-010-9251-9
  • Open Access
    Bílková, M., Palmigiano, A., & Venema, Y. (2008). Proof systems for the coalgebraic cover modality. In C. Areces, & R. Goldblatt (Eds.), Advances in Modal Logic 7 (pp. 1-21). College Publications. http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf
  • Palmigiano, A., & Venema, Y. (2007). Nabla algebras and Chu spaces. 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. 394-408). (Lecture Notes in Computer Science; Vol. 4624). Springer. https://doi.org/10.1007/978-3-540-73859-6_27
Page 3 of 3