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 |