Computational complexity of core fragments of modal logics T, K4, and S4
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer International Publishing
2019
|
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer International Publishing
2019
|