| Supervisors: | Carlos Manuel Costa Lourenco Caleiro, Sérgio Roseiro Teles Marcelino |
| University: | Instituto Superior Técnico |
| Defense date: | 11 / 2022 |
| Keywords: | abstract algebraic logic, algebraic semantics, complexity, decidability, inclusion logics, infectious semantics, monadicity, non-determinism, partiality |
| Abstract: | PDF download |