11 lines
683 B
Markdown
11 lines
683 B
Markdown
# Mambo
|
|
|
|
This was my weekend turned a bit more project from Christmas, really fun thinking thingy, would be interesting to show the relation to other similar systems as LTL and CTL.
|
|
|
|
## Resources used
|
|
- https://vcvpaiva.github.io/includes/pubs/2011-Basic_Constructive_Modality.pdf
|
|
- https://arxiv.org/html/2408.16428v1
|
|
- https://www.sciencedirect.com/science/article/pii/S157106611000037X
|
|
- https://builds.openlogicproject.org/courses/boxes-and-diamonds/bd-screen.pdf
|
|
- https://www.cambridge.org/us/universitypress/subjects/computer-science/programming-languages-and-applied-logic/logic-computer-science-modelling-and-reasoning-about-systems-2nd-edition?format=PB&isbn=9780521543101
|