Semantics of Modal Logic
The language of propositional modal logic consists of a countably infinite set of propositional variables, a set of truth-functional connectives (in this article and ), and the modal operator ("necessarily"). The modal operator ("possibly") is the dual of and may be defined in terms of it like so: ("possibly A" is defined as equivalent to "not necessarily not A").
Read more about this topic: Kripke Semantics
Famous quotes containing the word logic:
“Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
—Francis Bacon (1561–1626)