Creating and sharing knowledge for telecommunications
DEFENDED PHD THESIS

Computability of logical problems associated to partial non-deterministic matrices

Pedro Gonçalo Godinho Filipe
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