Tag: Guillermo Badia

In this episode Pat speaks with Dr Guillermo Badia. Dr Guillermo Badia is a philosopher working in logic. His research interests are logic in computer science, semiring-based logics and models of computation, and modal, intuitionistic and other non-classical logics. They discuss logic, murder mysteries, and the counter revolutionary search for truth. A transcript of this…