Normal Modal Logic

• all propositional tautologies,
• Kripke's schema: $\backslash Box(A\backslash to\; B)\backslash to(\backslash Box\; A\backslash to\backslash Box\; B)$,

• substitution,
• detachment rule: from A and A→B infer B,
• necessitation rule: from A infer $\backslash Box\; A$.

<< Previous Word Browser Next >>
crying (album) maurice laur mary post grassroots (album) humbucking enfield, nova scotia british medical association distinctive media snake's revenge ulf tostesson utsunomiya line	bernard hislaire focusing omiya station quadriceps burlington coat factory lca eric s. nylund ms saint louis xiangtan rule of 70 vga planets	omc (band) shen nung bismarck sea anatoly guzhvin sound system (dj) thea astley graphene johnny griffin don bachardy pramoedya ananta toer oracle rdb	annoyance sidney bradford wendy orlean williams wang dulu edward griffith trouw madaline lee how to marry a millionaire comedy of manners metaballs brandendamm