Boolean-Valued Multiagent Coalgebraic Logic
Publication date
2022-04-01
Authors
Kurz, Alexander
Motamed, Nima
Editors
Advisors
Supervisors
DOI
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
Keywords
Citation
Kurz, A & Motamed, N 2022, Boolean-Valued Multiagent Coalgebraic Logic. in Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022).