Boolean-Valued Multiagent Coalgebraic Logic

Alexander Kurz, Nima Motamed

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

    Original languageEnglish
    Title of host publicationShort Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)
    Number of pages2
    Publication statusPublished - 1 Apr 2022

    Cite this