|
Normal modal logic - Definition and Overview |
| Related Words: Academia, Arranged, Average, Axis, Balance, Balanced, Bourgeois, Center, Central, Characteristic, Chord, College, Common |
|
|
|
In logic, normal modal logic is a set L of modal formulas such that L contains
- all propositional tautologies,
- Kripke's schema: <math>\Box(A\to B)\to(\Box A\to\Box B)<math>,
and L is closed under
- substitution,
- detachment rule: from A and A→B infer B,
- necessitation rule: from A infer <math>\Box A<math>.
The minimal normal modal logic is known as K.
|
Example Usage of Normal |
 |
leodelune: 說 I want my Normal life back! http://plurk.com/p/2tzm3b |
 |
carolcarin: Qnd eu falava dessas cores mórbidas, Qnd eu falava desses homens sórdidos Qnd eu falava desse temporal Vc não escutou Mas isso é tão Normal |
 |
deiabatista: RT @Mingo_tome: Na lista do #dobradinhaday eu quero minha parte em comida Normal e cerveja sel alcoole |
|
|
