Diagrammatic Representation and Inference
Springer International Publishing
Chapter title |
Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic
|
---|---|
Chapter number | 25 |
Book title |
Diagrammatic Representation and Inference
|
Published by |
Springer, Cham, January 2022
|
DOI | 10.1007/978-3-031-15146-0_25 |
Book ISBNs |
978-3-03-115145-3, 978-3-03-115146-0
|
Authors |
Falcão, Pedro |