| slovo | definícia |
modal
(encz) | modal,modální adj: Zdeněk Brož |
modal
(encz) | modal,způsobové sloveso Zdeněk Brož |
Modal
(gcide) | Modal \Mo"dal\, a. [Cf. F. modal. See Mode.]
1. Of or pertaining to a mode or mood; consisting in mode or
form only; relating to form; having the form without the
essence or reality. --Glanvill.
[1913 Webster]
2. (Logic & Metaph.) Indicating, or pertaining to, some mode
of conceiving existence, or of expressing thought, such as
the modes of possibility or obligation.
[1913 Webster +PJC]
3. (Gram.) Pertaining to or denoting mood.
[PJC] |
Modal
(gcide) | Modal \Mo"dal\(Gram.), n.
A modal auxiliary.
[PJC] |
modal
(wn) | modal
adj 1: relating to or constituting the most frequent value in a
distribution; "the modal age at which American novelists
reach their peak is 30" [syn: modal(a), average]
2: of or relating to a musical mode; especially written in an
ecclesiastical mode
3: relating to or expressing the mood of a verb; "modal
auxiliary"
n 1: an auxiliary verb (such as `can' or `will') that is used to
express modality [syn: modal auxiliary verb, {modal
auxiliary}, modal verb, modal] |
modal
(foldoc) | modal
1. (Of an interface) Having modes. Modeless interfaces are
generally considered to be superior because the user does not
have to remember which mode he is in.
2. See modal logic.
3. In MS Windows programming, A window with the label
"WS_MODAL" will stay on the screen and claim all the
user-input. Other windows can only be accessed if the MODAL
window is closed. Such a window would typically be used for
an error dialog box to warn the user for something
important, like "Critical error, shut down the system and
restart".
(1995-02-07)
|
| | podobné slovo | definícia |
bimodal
(encz) | bimodal,bimodální adj: Zdeněk Brožbimodal,dvourežimový adj: Zdeněk Brož |
cross-modal
(encz) | cross-modal, adj: |
gustatory modality
(encz) | gustatory modality, n: |
modal auxiliary
(encz) | modal auxiliary,pomocné sloveso Zdeněk Brož |
modal logic
(encz) | modal logic, n: |
modal value
(encz) | modal value, n: |
modal verb
(encz) | modal verb,způsobové sloveso Zdeněk Brož |
modalities
(encz) | modalities,modality pl. Zdeněk Brož |
modality
(encz) | modality,modalita n: Zdeněk Brož |
modally
(encz) | modally,modálně adv: Zdeněk Brož |
olfactory modality
(encz) | olfactory modality, n: |
sense modality
(encz) | sense modality, n: |
touch modality
(encz) | touch modality, n: |
trimodal
(encz) | trimodal, |
unimodal
(encz) | unimodal, adj: |
visual modality
(encz) | visual modality, n: |
modalita
(czen) | modalita,modalityn: Zdeněk Brož |
modality
(czen) | modality,modalitiespl. Zdeněk Brož |
Alamodality
(gcide) | Alamodality \Al`a*mo*dal"i*ty\, n.
The quality of being [`a] la mode; conformity to the mode or
fashion; fashionableness. [R.] --Southey.
[1913 Webster] |
bimodal
(gcide) | bimodal \bimodal\ adj. (Statistics)
having or occurring with two modes[9]; having two maxima;
-- of a curve or distribution. unimodal
[WordNet 1.5] |
cross-modal
(gcide) | cross-modal \cross-modal\ adj. (Grammar)
relating to different sense modalities.
[WordNet 1.5] |
cross-modality
(gcide) | cross-modality \cross-modality\ n. (Grammar)
ability to integrate information from different sense
modalities.
[PJC] |
Modal
(gcide) | Modal \Mo"dal\, a. [Cf. F. modal. See Mode.]
1. Of or pertaining to a mode or mood; consisting in mode or
form only; relating to form; having the form without the
essence or reality. --Glanvill.
[1913 Webster]
2. (Logic & Metaph.) Indicating, or pertaining to, some mode
of conceiving existence, or of expressing thought, such as
the modes of possibility or obligation.
[1913 Webster +PJC]
3. (Gram.) Pertaining to or denoting mood.
[PJC]Modal \Mo"dal\(Gram.), n.
A modal auxiliary.
[PJC] |
modal auxiliary
(gcide) | modal auxiliary \mo"dal aux*il"iar*y\(Gram.), n.
Any one of the auxiliary verbs of English, such as can, may,
will, shall, must, might, could, would, or should, which are
used together with the infinitive form of another verb to
express distinctions of mood[2], such as uncertainty,
possibility, command, emphasis, and obligation.
[PJC] |
modal logic
(gcide) | modal logic \mo"dal log"ic\, n.
A system of logic which studies how to combine propositions
which include the concepts of necessity, possibility, and
obligation.
[PJC] |
Modalist
(gcide) | Modalist \Mo"dal*ist\, n. (Theol.)
One who regards Father, Son, and Spirit as modes of being,
and not as persons, thus denying personal distinction in the
Trinity. --Eadie.
[1913 Webster] |
Modality
(gcide) | Modality \Mo*dal"i*ty\, n. [Cf. F. modalit['e].]
1. The quality or state of being modal.
[1913 Webster]
2. (Logic & Metaph.) A modal relation or quality; a mode or
point of view under which an object presents itself to the
mind. According to Kant, the quality of propositions, as
assertory, problematical, or apodeictic.
[1913 Webster] |
Modally
(gcide) | Modally \Mo"dal*ly\, adv.
In a modal manner.
[1913 Webster]
A compound proposition, the parts of which are united
modally . . . by the particles "as" and "so." --Gibbs.
[1913 Webster] |
auditory modality
(wn) | auditory modality
n 1: the ability to hear; the auditory faculty; "his hearing was
impaired" [syn: hearing, audition, auditory sense,
sense of hearing, auditory modality] |
bimodal
(wn) | bimodal
adj 1: of a distribution; having or occurring with two modes
[ant: unimodal] |
cross-modal
(wn) | cross-modal
adj 1: relating to different sense modalities |
gustatory modality
(wn) | gustatory modality
n 1: the faculty of distinguishing sweet, sour, bitter, and
salty properties in the mouth; "his cold deprived him of
his sense of taste" [syn: taste, gustation, {sense of
taste}, gustatory modality] |
modal auxiliary
(wn) | modal auxiliary
n 1: an auxiliary verb (such as `can' or `will') that is used to
express modality [syn: modal auxiliary verb, {modal
auxiliary}, modal verb, modal] |
modal auxiliary verb
(wn) | modal auxiliary verb
n 1: an auxiliary verb (such as `can' or `will') that is used to
express modality [syn: modal auxiliary verb, {modal
auxiliary}, modal verb, modal] |
modal logic
(wn) | modal logic
n 1: the logical study of necessity and possibility
2: a system of logic whose formal properties resemble certain
moral and epistemological concepts |
modal value
(wn) | modal value
n 1: the most frequent value of a random variable [syn: mode,
modal value] |
modal verb
(wn) | modal verb
n 1: an auxiliary verb (such as `can' or `will') that is used to
express modality [syn: modal auxiliary verb, {modal
auxiliary}, modal verb, modal] |
modality
(wn) | modality
n 1: a classification of propositions on the basis of whether
they claim necessity or possibility or impossibility [syn:
modality, mode]
2: verb inflections that express how the action or state is
conceived by the speaker [syn: mood, mode, modality]
3: a particular sense [syn: modality, sense modality,
sensory system]
4: a method of therapy that involves physical or electrical
therapeutic treatment |
olfactory modality
(wn) | olfactory modality
n 1: the faculty that enables us to distinguish scents [syn:
smell, sense of smell, olfaction, {olfactory
modality}] |
sense modality
(wn) | sense modality
n 1: a particular sense [syn: modality, sense modality,
sensory system] |
touch modality
(wn) | touch modality
n 1: the faculty by which external objects or forces are
perceived through contact with the body (especially the
hands); "only sight and touch enable us to locate objects
in the space around us" [syn: touch, sense of touch,
skin senses, touch modality, cutaneous senses] |
unimodal
(wn) | unimodal
adj 1: having a single mode [ant: bimodal] |
visual modality
(wn) | visual modality
n 1: the ability to see; the visual faculty [syn: sight,
vision, visual sense, visual modality] |
modal logic
(foldoc) | modal logic
An extension of propositional calculus with
operators that express various "modes" of truth. Examples
of modes are: necessarily A, possibly A, probably A, it has
always been true that A, it is permissible that A, it is
believed that A.
"It is necessarily true that A" means that things being as
they are, A must be true, e.g.
"It is necessarily true that x=x" is TRUE
while
"It is necessarily true that x=y" is FALSE
even though "x=y" might be TRUE.
Adding modal operators [F] and [P], meaning, respectively,
henceforth and hitherto leads to a "temporal logic".
Flavours of modal logics include: {Propositional Dynamic
Logic} (PDL), Propositional Linear Temporal Logic (PLTL),
Linear Temporal Logic (LTL), Computational Tree Logic
(CTL), Hennessy-Milner Logic, S1-S5, T.
C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the
modern analysis of modality. He developed the logical systems
S1-S5. JCC McKinsey used algebraic methods ({Boolean
algebras} with operators) to prove the decidability of Lewis'
S2 and S4 in 1941. Saul Kripke developed the {relational
semantics} for modal logics (1959, 1963). Vaughan Pratt
introduced dynamic logic in 1976. Amir Pnuelli proposed the
use of temporal logic to formalise the behaviour of
continually operating concurrent programs in 1977.
[Robert Goldblatt, "Logics of Time and Computation", CSLI
Lecture Notes No. 7, Centre for the Study of Language and
Information, Stanford University, Second Edition, 1992,
(distributed by University of Chicago Press)].
[Robert Goldblatt, "Mathematics of Modality", CSLI Lecture
Notes No. 43, Centre for the Study of Language and
Information, Stanford University, 1993, (distributed by
University of Chicago Press)].
[G.E. Hughes and M.J. Cresswell, "An Introduction to Modal
Logic", Methuen, 1968].
[E.J. Lemmon (with Dana Scott), "An Introduction to Modal
Logic", American Philosophical Quarterly Monograpph Series,
no. 11 (ed. by Krister Segerberg), Basil Blackwell, Oxford,
1977].
(1995-02-15)
|
|