If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2019

    Logics for rough concept analysis

    Greco, G., Jipsen, P., Manoorkar, K., Palmigiano, A. & Tzimoulis, A., 2019, Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Manuel, A. & Khan, M. A. (eds.). Springer Verlag, p. 144-159 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11600 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Non Normal Logics: Semantic Analysis and Proof Theory

    Chen, J., Greco, G., Palmigiano, A. & Tzimoulis, A., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer Verlag, p. 99-118 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2018

    Software Tool Support for Modular Reasoning in Modal Logics of Actions

    Balco, S., Frittella, S., Greco, G., Kurz, A. & Palmigiano, A., 1 Jan 2018, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer Verlag, p. 48-67 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10895 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2017

    Lattice logic properly displayed

    Greco, G. & Palmigiano, A., 1 Jan 2017, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Springer Verlag, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10388 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Multi-type display calculus for semi de morgan logic

    Greco, G., Liang, F., Moshier, M. A. & Palmigiano, A., 1 Jan 2017, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Springer Verlag, p. 199-215 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10388 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2016

    A multi-type calculus for inquisitive logic

    Frittella, S., Greco, G., Palmigiano, A. & Yang, F., 1 Jan 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer Verlag, p. 215-233 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2013

    Dynamic epistemic logic displayed

    Greco, G., Kurz, A. & Palmigiano, A., 30 Oct 2013, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Proceedings. p. 135-148 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8196 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review