Results 251 to 260 of about 1,216,020 (296)
Some of the next articles are maybe not open access.
Synthese, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Studia Logica, 2012
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
2009
The findings of the present study of selected modals and quasi-modals in matching corpora of Australian, New Zealand, British and American English reinforce those of diachronic investigations attesting to the rising popularity of the quasi-modals and declining fortunes of the modals in recent decades.
openaire +1 more source
The findings of the present study of selected modals and quasi-modals in matching corpora of Australian, New Zealand, British and American English reinforce those of diachronic investigations attesting to the rising popularity of the quasi-modals and declining fortunes of the modals in recent decades.
openaire +1 more source
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1996
We add a binary operator ≥ to the logical language, with intended meaning of φ<ψ: ‘φ is at least as likely, probable, or trustworthy, as ψ’. The operator ≥ is interpreted on Kripke structures, making it possible to define the standard necessity operator □ in terms of ≥.
openaire +2 more sources
We add a binary operator ≥ to the logical language, with intended meaning of φ<ψ: ‘φ is at least as likely, probable, or trustworthy, as ψ’. The operator ≥ is interpreted on Kripke structures, making it possible to define the standard necessity operator □ in terms of ≥.
openaire +2 more sources
Journal of Philosophy, 1986
AbstractIn the first part of this chapter, I sketch out three grades of modal realism. After developing modal realism, I examine David Lewis's modal theory. I argue that Lewis's theory satisfies none of the grades of modal realism, and that it is really a case of modal reductionism. In particular, I demonstrate that Counterpart Theory is a rejection of
openaire +1 more source
AbstractIn the first part of this chapter, I sketch out three grades of modal realism. After developing modal realism, I examine David Lewis's modal theory. I argue that Lewis's theory satisfies none of the grades of modal realism, and that it is really a case of modal reductionism. In particular, I demonstrate that Counterpart Theory is a rejection of
openaire +1 more source
Extracellular targeted protein degradation: an emerging modality for drug discovery
Nature Reviews Drug Discovery, 2023James A Wells
exaly
Causal knowledge fusion for 3D cross-modality cardiac image segmentation
Information Fusion, 2023saidi guo, Xiujian Liu, Zhifan Gao
exaly
Revisiting Modality-Specific Feature Compensation for Visible-Infrared Person Re-Identification
IEEE Transactions on Circuits and Systems for Video Technology, 2022Huang Nianchang +2 more
exaly
Modality-invariant temporal representation learning for multimodal sentiment classification
Information Fusion, 2023Hao Sun, Yen-Wei Chen
exaly