Modal Logic : An Introduction

Rating:
Summary: An excellent introduction to modal logic
Review: Modal logic is the logic of necessity and possibility. It includes "deontic logic" - the logic of duty (and the logic of the law), plus epistemic logic. Modal logic is a simplified form of the first order predicate logic.

The text explains the various axioms of modal logic -- such as "M, C, K, N, P" Other texts include Sally Popkorn (emphasis on semantics), and Hughes & Cresswell (slighly more advanced).

Rating:
Summary: An excellent introduction to modal logic
Review: Modal logic is the logic of necessity and possibility. It includes "deontic logic" - the logic of duty (and the logic of the law), plus epistemic logic. Modal logic is a simplified form of the first order predicate logic.

The text explains the various axioms of modal logic -- such as "M, C, K, N, P" Other texts include Sally Popkorn (emphasis on semantics), and Hughes & Cresswell (slighly more advanced).