Propositional Modal Logic

Some articles on propositional modal logic, modal logic, propositional, modal logics:

Accessibility Relation - Basic Review of (Propositional) Modal Logic
... reasoning behind the 'accessibility relation' uses the basics of 'propositional modal logic' (see modal logic for a detailed discussion) ... Propositional modal logic' is traditional propositional logic with the addition of two key unary operators Six Basic Axioms of Modal Logic There are at least six ... The first two hold in all regular modal logics, and the last holds in all normal modal logics ...

Famous quotes containing the word logic:

    Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.
    Sir Peter Frederick Strawson (b. 1919)