FACTOID # 12: It's not the government they hate: Washington DC has the highest number of hate crimes per capita in the US.

 Home Encyclopedia Statistics States A-Z Flags Maps FAQ About

 WHAT'S NEW

SEARCH ALL

Search encyclopedia, statistics and forums:

(* = Graphable)

Encyclopedia > Normal modal logic

In logic, normal modal logic is a set L of modal formulas such that L contains

and L is closed under

• substitution,
• detachment rule: from A and AB infer B,
• necessitation rule: from A infer .

The minimal normal modal logic is known as K.

Results from FactBites:

 Normal modal logic - Wikipedia, the free encyclopedia (94 words) In logic, normal modal logic is a set L of modal formulas such that L contains: The modal logic with just the above features is called K. Normal modal logic, a proper extension of the propositional calculus, includes most modal logics commonly used nowadays, including C.
 Kripke semantics - Wikipedia, the free encyclopedia (2475 words) It was later adapted to other non-classical logics, most importantly intuitionistic logic. A Kripke frame or modal frame is a pair , where W is a non-empty set, and R is a binary relation on W. Jaakko Hintikka gave a semantics in his papers introducing epistemic logic that is a simple variation of Kripke's semantics, equivalent to the characterisation of valuations by means of maximal consistent sets.
More results at FactBites »

Share your thoughts, questions and commentary here