Introduction to Modal Logic
Published on Feb 4, 202551378 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
