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:
““... We need the interruption of the night
To ease attention off when overtight,
To break our logic in too long a flight,
And ask us if our premises are right.””
—Robert Frost (1874–1963)