modal number
1Modal logic — is a type of formal logic 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… …
2Modal realism — is the view, notably propounded by David Kellogg Lewis, that all possible worlds are as real as the actual world. It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world;… …
3Modal jazz — Stylistic origins Jazz, Cool jazz,[1] Indian music, Medieval music Cultural origins Late 1950s Typical instruments Piano, saxophone …
4Modal share — Modal share, Mode split or Modal split, is a traffic / transport term that describes the number of trips or (more common) percentage of travelers using a particular type of transportation.[1] The term is often used when analysing the… …
5modal — UK US /ˈməʊdəl/ adjective [before noun] ► used to describe the number or value which appears most often in a particular set: »There are rates of 5, 10, 20, 40 and 70%, the modal rate being 10% …
6Modal verb — A modal verb (also modal, modal auxiliary verb, modal auxiliary) is a type of auxiliary verb that is used to indicate modality that is, likelihood, ability, permission, and obligation.[1]:p.33 The use of auxiliary verbs to express modality is… …
7Modal companion — In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate… …
8Modal depth — In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly and ). Modal formulas without modal operators have a modal depth of zero. Definition Modal depth can be defined as follows. Let MD(ϕ) be a function… …
9Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… …
10Modal frame — This article is about modal frames in music. For modal logic, see Kripke semantics. In music a melodic mode [1] or modal frame is one of, a number of types permeating and unifying African, European, and American song and melody.[2] Mode and frame …
