Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Normal_modal_logic> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Normal_modal_logic abstract "In logic, a normal modal logic is a set L of modal formulas such that L contains: All propositional tautologies; All instances of the Kripke schema: and it is closed under: Detachment rule (Modus Ponens): Necessitation rule: implies .The smallest logic satisfying the above conditions is called K. Most modal logics commonly used nowadays (in terms of having philosophical motivations), e.g. C. I. Lewis's S4 and S5, are extensions of K. However a number of deontic and epistemic logics, for example, are non-normal, often because they give up the Kripke schema.".
- Normal_modal_logic wikiPageID "911820".
- Normal_modal_logic wikiPageRevisionID "542586703".
- Normal_modal_logic hasPhotoCollection Normal_modal_logic.
- Normal_modal_logic subject Category:Modal_logic.
- Normal_modal_logic comment "In logic, a normal modal logic is a set L of modal formulas such that L contains: All propositional tautologies; All instances of the Kripke schema: and it is closed under: Detachment rule (Modus Ponens): Necessitation rule: implies .The smallest logic satisfying the above conditions is called K. Most modal logics commonly used nowadays (in terms of having philosophical motivations), e.g. C. I. Lewis's S4 and S5, are extensions of K.".
- Normal_modal_logic label "Lógica modal normal".
- Normal_modal_logic label "Normal modal logic".
- Normal_modal_logic label "Normale Modallogik".
- Normal_modal_logic label "正规模态逻辑".
- Normal_modal_logic sameAs Normale_Modallogik.
- Normal_modal_logic sameAs Lógica_modal_normal.
- Normal_modal_logic sameAs m.03p5qn.
- Normal_modal_logic sameAs Q840226.
- Normal_modal_logic sameAs Q840226.
- Normal_modal_logic wasDerivedFrom Normal_modal_logic?oldid=542586703.
- Normal_modal_logic isPrimaryTopicOf Normal_modal_logic.