Definitions for modal logic

This page provides all possible meanings and translations of the word modal logic

Princeton's WordNetRate this definition:(0.00 / 0 votes)

  1. modal logic(noun)

    the logical study of necessity and possibility

  2. modal logic(noun)

    a system of logic whose formal properties resemble certain moral and epistemological concepts

GCIDERate this definition:(0.00 / 0 votes)

  1. modal logic(n.)

    A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation.

WiktionaryRate this definition:(0.00 / 0 votes)

  1. modal logic(Noun)

    Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.

FreebaseRate this definition:(0.00 / 0 votes)

  1. Modal logic

    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, necessity, and impossibility. Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time, deontic modalities, epistemic modalities, or modalities of knowledge and doxastic modalities, or modalities of belief. 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".


Translations for modal logic

From our Multilingual Translation Dictionary

Get even more translations for modal logic »

Translation

Find a translation for the modal logic definition in other languages:

Select another language:

Discuss these modal logic definitions with the community:

Word of the Day

Would you like us to send you a FREE new word definition delivered to your inbox daily?

Please enter your email address:     


Citation

Use the citation below to add this definition to your bibliography:

Style:MLAChicagoAPA

"modal logic." Definitions.net. STANDS4 LLC, 2015. Web. 1 Mar. 2015. <http://www.definitions.net/definition/modal logic>.

Are we missing a good definition for modal logic? Don't keep it to yourself...


The Web's Largest Resource for

Definitions & Translations


A Member Of The STANDS4 Network


Nearby & related entries:

Alternative searches for modal logic:

Thanks for your vote! We truly appreciate your support.