Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 25
Number of items: 25
  • Palmigiano, A., Sourabh, S., & Zhao, Z. (2017). Sahlqvist theory for impossible worlds. Journal of Logic and Computation, 27(3), 775-816. https://doi.org/10.1093/logcom/exw014
  • Open Access
    Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., & Wijnberg, N. M. (2017). Toward an epistemic-logical theory of categorization. Electronic Proceedings in Theoretical Computer Science, 251, 167-186. https://doi.org/10.4204/EPTCS.251.12
  • Open Access
    Conradie, W., Fritella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., & Wijnberg, N. M. (2016). Categories: How I Learned to Stop Worrying and Love Two Sorts. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (Eds.), Logic, Language, Information and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016 : proceedings (pp. 145-164). (Lecture Notes in Computer Science; Vol. 9803), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-52921-8_10
  • Conradie, W., Fomatati, Y., Palmigiano, A., & Sourabh, S. (2015). Algorithmic correspondence for intuitionistic modal mu-caculus. Theoretical Computer Science, 564, 30-62. https://doi.org/10.1016/j.tcs.2014.10.027
  • Open Access
    Sourabh, S. (2015). Correspondence and canonicity in non-classical logic. [Thesis, fully internal, Universiteit van Amsterdam].
  • Bílková, M., Palmigiano, A., & Venema, Y. (2014). Proof systems for Moss’ coalgebraic logic. Theoretical Computer Science, 549, 36-60. https://doi.org/10.1016/j.tcs.2014.06.018
  • Open Access
    Palmigiano, A., & Re, R. (2013). Relational representation of groupoid quantales. Order, 30(1), 65-83. https://doi.org/10.1007/s11083-011-9227-z
  • Open Access
    Gehrke, M., Jansana, R., & Palmigiano, A. (2013). Δ1-completions of a poset. Order, 30(1), 39-64. https://doi.org/10.1007/s11083-011-9226-0
  • Conradie, W., & Palmigiano, A. (2012). Algorithmic Correspondence and Canonicity for Distributive Modal Logic. Annals of Pure and Applied Logic, 163(3), 338-376. https://doi.org/10.1016/j.apal.2011.10.004
  • 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
Page 2 of 3