Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Modal_logic> ?p ?o. }
Showing items 1 to 54 of
54
with 100 items per page.
- Modal_logic abstract "Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals—words that express modalities—qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility ("Possibly, p", "It is possible that p"), necessity ("Necessarily, p", "It is necessary that p"), and impossibility ("Impossibly, p", "It is impossible that p"). Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time (notably, "It was the case that p", "It has always been that p", "It will be that p", "It will always be that p"), deontic modalities (notably, "It is obligatory that p", and "It is permissible that p"), epistemic modalities, or modalities of knowledge ("It is known that p") and doxastic modalities, or modalities of belief ("It is believed that p").A formal modal logic represents modalities using modal operators. For example, "It might rain today" and "It is possible that rain will fall today" both contain the notion of possibility. In a modal logic this is represented as an operator, Possibly, attached to the sentence "It will rain today".The basic unary (1-place) modal operators are usually written □ for Necessarily and ◇ for Possibly. In a classical modal logic, each can be expressed by the other with negation:Thus it is possible that it will rain today if and only if it is not necessary that it will not rain today; and it is necessary that it will rain today if and only if it is not possible that it will not rain today. Alternative symbols used for the modal operators are "L" for Necessarily and "M" for Possibly.".
- Modal_logic thumbnail DavidLewis2.jpg?width=300.
- Modal_logic wikiPageExternalLink aiml.net.
- Modal_logic wikiPageExternalLink notes.pdf.
- Modal_logic wikiPageExternalLink molle.sourceforge.net.
- Modal_logic wikiPageExternalLink logic-modal.
- Modal_logic wikiPageExternalLink logic-provability.
- Modal_logic wikiPageExternalLink TableauxS4.
- Modal_logic wikiPageExternalLink node22.html.
- Modal_logic wikiPageExternalLink index.html.
- Modal_logic wikiPageExternalLink modallogic.
- Modal_logic wikiPageExternalLink MLHandbook.
- Modal_logic wikiPageExternalLink modal.
- Modal_logic wikiPageExternalLink Lotrec.
- Modal_logic wikiPageExternalLink TopologyNotes.pdf.
- Modal_logic wikiPageExternalLink ~rob.
- Modal_logic wikiPageExternalLink modalhist.pdf.
- Modal_logic wikiPageID "333365".
- Modal_logic wikiPageRevisionID "606068078".
- Modal_logic hasPhotoCollection Modal_logic.
- Modal_logic subject Category:Modal_logic.
- Modal_logic subject Category:Modality.
- Modal_logic subject Category:Non-classical_logic.
- Modal_logic subject Category:Philosophical_logic.
- Modal_logic comment "Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals—words that express modalities—qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal.".
- Modal_logic label "Logica modale".
- Modal_logic label "Logika modalna".
- Modal_logic label "Logique modale".
- Modal_logic label "Lógica modal".
- Modal_logic label "Lógica modal".
- Modal_logic label "Modal logic".
- Modal_logic label "Modale logica".
- Modal_logic label "Modallogik".
- Modal_logic label "Модальная логика".
- Modal_logic label "منطق موجهات".
- Modal_logic label "様相論理".
- Modal_logic label "模态逻辑".
- Modal_logic sameAs Modální_logika.
- Modal_logic sameAs Modallogik.
- Modal_logic sameAs Lógica_modal.
- Modal_logic sameAs Logique_modale.
- Modal_logic sameAs Logica_modale.
- Modal_logic sameAs 様相論理.
- Modal_logic sameAs 양상논리학.
- Modal_logic sameAs Modale_logica.
- Modal_logic sameAs Logika_modalna.
- Modal_logic sameAs Lógica_modal.
- Modal_logic sameAs m.01x5k5.
- Modal_logic sameAs Mx4rwUiznpwpEbGdrcN5Y29ycA.
- Modal_logic sameAs Q210841.
- Modal_logic sameAs Q210841.
- Modal_logic wasDerivedFrom Modal_logic?oldid=606068078.
- Modal_logic depiction DavidLewis2.jpg.
- Modal_logic isPrimaryTopicOf Modal_logic.
