This is a preview. Log in through your library . Journal Information The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with ...
SUMMARY: At the beginning of the 20th century, philosophical thought was transformed by the discovery of the "new logic", i.e. mathematical or symbolic logic. With this novum organum, philosophers ...
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 ...