FILO-2000 Logica 2

This course is a continuation of Logic I. The core subject matter refers to the logics of predicates, some semantic and syntactic testing methods, such as the Tree of Truth and natural deduction. Similarly, the course dwells on one of the most important extension of the classical logic: the modal logic, given its complexity only propositional modal logic will be studied.