Results 271 to 280 of about 505,512 (306)
Some of the next articles are maybe not open access.
A Multi-linguistic-Valued Modal Logic
2016This paper develops a multi-valued modal logic, in which a logic formula takes a value of truth in linguistic terms. In other words, truth in our logic is regarded as a linguistic variable and its values are linguistic terms, which can be modelled as fuzzy sets.
Jinsheng Chen, Xudong Luo
openaire +1 more source
Modal Personality and Values of Medical Students
Psychological Reports, 198630 men and 12 women in the third year of medical training completed the D-20 version of Rokeach's Dogmatism Scale, the Rokeach Scales for Terminal and Introductory Values, and items on career attitudes and background. Scores suggested these students are congenial to primary-care and patient-oriented medicine.
openaire +2 more sources
Many-valued and annotated modal logics
Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138), 2002Many-valued modal logics are of interest from theoretical and practical point of view. Unfortunately, there are no unified theoretical frameworks for many-valued modal logics. We sketch their foundations based on the so-called annotated logics. We give a Kripke semantics for annotated modal logics and prove the completeness theorem.
S. Akama, J.M. Abe
openaire +1 more source
Non-Deterministic Many-Valued Modal Logic
2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL), 2022In this paper, we extend the techniques of non-deterministic semantics for propositional logics introduced by Arnon Avron and Iddo Lev to provide an account of modal operators. We examine the counterparts of the standard concepts from deterministic modal logics in this setting, giving parallel accounts of necessity, possibility, frame conditions, and ...
openaire +3 more sources
Modal functions in two-valued logic
Journal of Symbolic Logic, 1937In this paper it will be shown that the fundamental modal functions (“… is necessary,” “… is possible,” etc.) may be represented in the ordinary two-valued logic of propositions, relatively to a subset S of the set K of all propositions of the logic. The only restriction on S is that no member of S can occur in any other member of S. The representation
openaire +2 more sources
Universal Weighting Metric Learning for Cross-Modal Retrieval
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2022Jiwei Wei, Yang Yang, Xing Xu
exaly
Time Modalities over Many-valued Logics
2012Model checking has been traditionally concerned on verifying a (critical) system against its specification, which is generally expressed in temporal logic. Despite this verification technique is mature, it becomes useless when the specification incorporates vagueness, especially for the temporal constraints.
Fiorentini N. +3 more
openaire +1 more source