No. | Title | Author | Year |
---|---|---|---|
1 | Complexity Classifications via Algebraic Logic | Jaakkola, Reijo et al. | 2023 |
2 | Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability | Jaakkola, Reijo | 2023 |
3 | Relating Description Complexity to Entropy | Jaakkola, Reijo et al. | 2023 |
4 | Towards a Model Theory of Ordered Logics: Expressivity and Interpolation | Bednarczyk, Bartosz et al. | 2022 |
5 | Ordered Fragments of First-Order Logic | Jaakkola, Reijo | 2021 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 5 |