Introduction to Modal Logic
Published on Apr 01, 200951338 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
