Results 11 to 20 of about 1,394,777 (330)
Inferences Between Buridan’s Modal Propositions
In recent years modal syllogistic provided by 14th century logician John Buridan has attracted increasing attention of historians of medieval logic. The widespread use of quantified modal logic with the apparatus of possible worlds semantics in current ...
Jonas Dagys +2 more
doaj +1 more source
Intuitionistic Fuzzy Modal Topological Structure
The concept of an Intuitionistic Fuzzy Modal Topological Structure (IFMTS) or for brevity, Intuitionistic Fuzzy Modal Topology (IFMT), is introduced.
Krassimir Atanassov
doaj +1 more source
Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for
Lorenz Demey
doaj +1 more source
Exhaustification in the semantics of cause and because
We show that a single operation can account for three seemingly distinct properties of the semantics of cause and because. The properties are, firstly, their comparative nature: interpreting cause and because involves comparing what would happen in the ...
Dean Michael McHugh
doaj +2 more sources
Making the Most of Text Semantics to Improve Biomedical Vision-Language Processing [PDF]
Multi-modal data abounds in biomedicine, such as radiology images and reports. Interpreting this data at scale is essential for improving clinical care and accelerating clinical research.
Benedikt Boecking +11 more
semanticscholar +1 more source
Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT" [PDF]
This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to').
Silk, Alex
core +3 more sources
Probabilistic considerations on modal semantics. [PDF]
Of course, since those days logicians have developed new methods, in particular set-theoretic semantics for the treatment of modals. Many feel that, at last, a satisfactory account can be given. Others continue to think that modal logicians persist with studies which may properly be described as tortuous. It is scarcely surprising that, with the growth
Schotch, P. K., Jennings, R. E.
openaire +3 more sources
A Critique of the Temporal Analysis of Modal Propositions [PDF]
The central issue of this paper is the semantics of the modal propositions, with emphasis on the necessary and permanent propositions. First, the writer offers a short explanation of the modal propositions according to the traditional logic, then ...
ali akbar ahmadi afar majani
doaj +1 more source
With the rapid development of remote sensing (RS) observation technology over recent years, the high-level semantic association-based cross-modal retrieval of RS images has drawn some attention.
Fuzhong Zheng +5 more
doaj +1 more source
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? [PDF]
Adding propositional quantification to the modal logics K, T or S4 is known to lead to undecidability but CTL with propositional quantification under the tree semantics (tQCTL) admits a non-elementary Tower-complete satisfiability problem. We investigate
Bartosz Bednarczyk, Stéphane Demri
doaj +1 more source

