Introduction to Modal Logic
Published on 2009-04-0151395 Views
We cover the syntax, Kripke semantics, correspondence theory and tableaux-style proof theory of propositional modal and temporal logics. These logics have important applications in a diverse range of
