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 


FACTS & STATISTICS    Advanced view

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
Your name
Your comments

Want to know more?
Search encyclopedia, statistics and forums:


Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms, 1022, m