What does modal logic mean?

Definitions for modal logic

Here are all the possible meanings and translations of the word modal logic.

Princeton's WordNet

  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


  1. modal logic(n.)

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


  1. modal logic(Noun)

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


  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".


  1. Chaldean Numerology

    The numerical value of modal logic in Chaldean Numerology is: 9

  2. Pythagorean Numerology

    The numerical value of modal logic in Pythagorean Numerology is: 1

Images & Illustrations of modal logic

  1. modal logicmodal logicmodal logic

Translations for modal logic

From our Multilingual Translation Dictionary

Get even more translations for modal logic »


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:     


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


"modal logic." Definitions.net. STANDS4 LLC, 2018. Web. 18 Feb. 2018. <https://www.definitions.net/definition/modal logic>.

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

Nearby & related entries:

Alternative searches for modal logic:

Thanks for your vote! We truly appreciate your support.