Original language | English |
---|---|
Title of host publication | Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022) |
Number of pages | 2 |
Publication status | Published - 1 Apr 2022 |
Boolean-Valued Multiagent Coalgebraic Logic
Alexander Kurz, Nima Motamed
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review