When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Modal logic is the logic of necessity and possibility, of 'must be' and 'may be'. Unlike non-modal logic, it codifies structures which represent how things could be as well as how things are. A New Introduction to Modal Logic guides readers through the most basic systems of modal predicate logic with identity.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.