Research

Publications
  1. A Four-Valued Dynamic Epistemic Logic

    Santos, Y. D., 10-Feb-2020, In : Journal of Logic, Language and Information. 39 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  2. Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood

    David Santos, Y., 21-Nov-2019, (Accepted/In press) 11th International Symposium on Foundations of Information and Knowledge Systems. Springer, (Lecture Notes in Computer Science).

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

  3. Consolidation of Belief in Two Logics of Evidence

    David Santos, Y., 2019, Logic, Rationality, and Interaction - 7th International Workshop, LORI. Springer, Vol. 11813. p. 57-70 14 p. (Lecture Notes in Computer Science).

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

  4. Pseudo-contractions as Gentle Repairs

    Bitencourt Matos, V., Ferreira Guimarães, R., David Santos, Y. & Wassermann, R., 2019, Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lutz, C., Sattler, U., Tinelli, C., Turhan, A. Y. & Wolter, F. (eds.). Springer, p. 385-403 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  5. Partial meet pseudo-contractions

    David Santos, Y., Bitencourt Matos, V., Moretto Ribeiro, M. & Wassermann, R., Dec-2018, In : International Journal of Approximate Reasoning. 103, p. 11-27 17 p.

    Research output: Contribution to journalArticleAcademicpeer-review

View all (6) »

Activities
  1. A Dynamic Informational-Epistemic Logic

    Yuri David Santos (Speaker)
    2-Nov-2017

    Activity: Talk or presentationProfessional

View all (1) »

ID: 31517614