Description: A study of the principles and methods employed in the logical appraisal of arguments. Topics covered will include informal fallacies; syllogistic logic and Venn diagrams; sentence logic ...

A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can ...