Log in

Relevant bibliographies by topics / Modal semantics / Journal articles

To see the other types of publications on this topic, follow the link: Modal semantics.

Journal articles on the topic 'Modal semantics'

Author: Grafiati

Published: 28 May 2022

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Modal semantics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Korolova, Tetiana, and Yuliia Yavorska. "MODAL-EMOTIONAL SEMANTICS AS A PROBLEM OF LITERARY TRANSLATION." Naukovy Visnyk of South Ukrainian National Pedagogical University named after K. D. Ushynsky: Linguistic Sciences 2022, no. 35 (2022): 70–79. http://dx.doi.org/10.24195/2616-5317-2022-35-6.

Full text

Abstract:

The article has been devoted to the peculiarities and problems of reproduction of modal-emotional semantics. The study is urgent taking into consideration the position of the ambiguity of the phenomenon of modal-emotional semantics, and its representation in the literary text It should be emphasized that the translator faces the difficulty of reproducing an adequate translation of modal-emotional semantics, which can be achieved only under the condition of preserving the author’s content, observing the specifics of emotional vocabulary and using appropriate transformations of the text. The obj

APA, Harvard, Vancouver, ISO, and other styles

2

Moltmann, Friederike. "Truthmaker semantics for natural language: Attitude verbs, modals, and intensional transitive verbs." Theoretical Linguistics 46, no. 3-4 (2020): 159–200. http://dx.doi.org/10.1515/tl-2020-0010.

Full text

Abstract:

Abstract This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. The semantics is applied to factive verbs and response-stance verbs as well as to cases of modal concord. The paper also presents new motivations for ‘object-based truthmaker semantics’ from intensional transitive verbs such as need, look for, own, and buy a

APA, Harvard, Vancouver, ISO, and other styles

3

Averina, A. "The Syntactic and Semantiс Properties of Modal Words in German". Philology at MGIMO 7, № 1 (2021): 5–17. http://dx.doi.org/10.24833/2410-2423-2021-1-25-5-14.

Full text

Abstract:

The aim of the article is to examine the semantic and syntactic properties of modal words in German. The paper analyzes the types of modal semantics which are encoded in modal words; the peculiarities of the syntactic use of modal words are shown; the relationship between the type of modal semantics and their syntactic use is revealed, and the question which words with evaluative semantics can be classified as modal is considered. The relevance of this kind of work is determined by the following circumstances: firstly, it is necessary to describe the syntax and the semantics of modal words and

APA, Harvard, Vancouver, ISO, and other styles

4

Zheng, Fuzhong, Weipeng Li, Xu Wang, Luyao Wang, Xiong Zhang, and Haisu Zhang. "A Cross-Attention Mechanism Based on Regional-Level Semantic Features of Images for Cross-Modal Text-Image Retrieval in Remote Sensing." Applied Sciences 12, no. 23 (2022): 12221. http://dx.doi.org/10.3390/app122312221.

Full text

Abstract:

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. However, few existing studies on cross-modal retrieval of RS images have addressed the issue of mutual interference between semantic features of images caused by “multi-scene semantics”. Therefore, we proposed a novel cross-attention (CA) model, called CABIR, based on regional-level semantic features of RS images for cross-modal text-image retrieval. This technique utilizes the CA mechanism to implemen

APA, Harvard, Vancouver, ISO, and other styles

5

Divers, John. "Philosophical Issues from Kripke’s ‘Semantical Considerations on Modal Logic’." Principia: an international journal of epistemology 20, no. 1 (2016): 01. http://dx.doi.org/10.5007/1808-1711.2016v20n1p01.

Full text

Abstract:

http://dx.doi.org/10.5007/1808-1711.2016v20n1p1In ‘Semantical Considerations on Modal Logic’, Kripke articulates his project in the discourse of “possible worlds”. There has been much philosophical discussion of whether endorsement of the Kripke semantics brings ontological commitment to possible worlds. However, that discussion is less than satisfactory because it has been conducted without the necessary investigation of the surrounding philosophical issues that are raised by the Kripke semantics. My aim in this paper is to map out the surrounding territory and to commence that investigation.

APA, Harvard, Vancouver, ISO, and other styles

6

Ran, Ran, Jiwei Wei, Xiangyi Cai, et al. "CDTR: Semantic Alignment for Video Moment Retrieval Using Concept Decomposition Transformer." Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 6 (2025): 6684–92. https://doi.org/10.1609/aaai.v39i6.32717.

Full text

Abstract:

Video Moment Retrieval (VMR) involves locating specific moments within a video based on natural language queries. However, existing VMR methods that employ various strategies for cross-modal alignment still face challenges such as limited understanding of fine-grained semantics, semantic overlap, and sparse constraints. To address these limitations, we propose a novel Concept Decomposition Transformer (CDTR) model for VMR. CDTR introduces a semantic concept decomposition module that disentangles video moments and sentence queries into concept representations, reflecting the relevance between v

APA, Harvard, Vancouver, ISO, and other styles

7

Mattila, Jorma K. "Modifier Logics Based on Graded Modalities." Journal of Advanced Computational Intelligence and Intelligent Informatics 7, no. 2 (2003): 72–78. http://dx.doi.org/10.20965/jaciii.2003.p0072.

Full text

Abstract:

Modifier logics are considered as generalizations of "classical" modal logics. Thus modifier logics are so-called multimodal logics. Multimodality means here that the basic logics are modal logics with graded modalities. The interpretation of modal operators is more general, too. Leibniz’s motivating semantical ideas (see [8], p. 20-21) give justification to these generalizations. Semantics of canonical frames forms the formal semantic base for modifier logics. Several modifier systems are given. A special modifier calculus is combined from some "pure" modifier logics. Creating a topological s

APA, Harvard, Vancouver, ISO, and other styles

8

Lõbus, Triin. "Võimalikkus hispaania keele modaalverbi poder ja eesti keele modaalverbide semantikas. Tõlkevastete analüüs." Eesti ja soome-ugri keeleteaduse ajakiri. Journal of Estonian and Finno-Ugric Linguistics 7, no. 2 (2016): 125–58. http://dx.doi.org/10.12697/jeful.2016.7.2.06.

Full text

Abstract:

Kokkuvõte. Artiklis uuritakse episteemilist modaalsust hispaania ja eesti keele võimalikkusmodaalverbide semantikas. Võrdlus lähtub hispaania keele modaalverbist poder, vaadeldes selle episteemilise kasutuse tõlkevasteid ilukirjandusteostes. Analüüsi aluseks on episteemilise modaalsuse tähendusala täpsem määratlemine. Prototüüpset kõnelejakeskset (subjektiivset) võimalikkushinnangut eristatakse objektiivsest situatsioonilisest võimalikkusest, mis on episteemilise/mitte-episteemilise modaalsuse piiripealne vaheaste. See eristus võimaldab modaalverbide tähendusalasid paremini eritleda ja omavahe

APA, Harvard, Vancouver, ISO, and other styles

9

Zhao, Pengcheng, Jinxing Zhou, Yang Zhao, Dan Guo, and Yanxiang Chen. "Multimodal Class-aware Semantic Enhancement Network for Audio-Visual Video Parsing." Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 10 (2025): 10448–56. https://doi.org/10.1609/aaai.v39i10.33134.

Full text

Abstract:

The Audio-Visual Video Parsing task aims to recognize and temporally localize all events occurring in either the audio or visual stream, or both. Capturing accurate event semantics for each audio/visual segment is vital. Prior works directly utilize the extracted holistic audio and visual features for intra- and cross-modal temporal interactions. However, each segment may contain multiple events, resulting in semantically mixed holistic features that can lead to semantic interference during intra- or cross-modal interactions: the event semantics of one segment may incorporate semantics of unre

APA, Harvard, Vancouver, ISO, and other styles

10

Hartonas, Chrysafis. "Distribution-Free Normal Modal Logics." Logics 3, no. 2 (2025): 3. https://doi.org/10.3390/logics3020003.

Full text

Abstract:

This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a recent article by Bezhanishvili, de Groot, Dmitrieva and Morachini, who studied a distribution-free version of Dunn’s positive modal logic (PML). Unlike PML, we consider logics that may drop distribution and that are equipped with both an implication connective and modal operators. We adopt a uniform relational semantics approach, relying on r

APA, Harvard, Vancouver, ISO, and other styles

11

Zeng, Yawen, Qin Jin, Tengfei Bao, and Wenfeng Li. "Multi-Modal Knowledge Hypergraph for Diverse Image Retrieval." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 3 (2023): 3376–83. http://dx.doi.org/10.1609/aaai.v37i3.25445.

Full text

Abstract:

The task of keyword-based diverse image retrieval has received considerable attention due to its wide demand in real-world scenarios. Existing methods either rely on a multi-stage re-ranking strategy based on human design to diversify results, or extend sub-semantics via an implicit generator, which either relies on manual labor or lacks explainability. To learn more diverse and explainable representations, we capture sub-semantics in an explicit manner by leveraging the multi-modal knowledge graph (MMKG) that contains richer entities and relations. However, the huge domain gap between the off

APA, Harvard, Vancouver, ISO, and other styles

12

Warmke, Craig. "Modal Semantics without Worlds." Philosophy Compass 11, no. 11 (2016): 702–15. http://dx.doi.org/10.1111/phc3.12356.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Ray, Greg. "Ontology-free modal semantics." Journal of Philosophical Logic 25, no. 4 (1996): 333–61. http://dx.doi.org/10.1007/bf00249664.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Zalabardo, José L. "Actualism and Modal Semantics." Acta Analytica 33, no. 1 (2017): 35–49. http://dx.doi.org/10.1007/s12136-017-0332-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Kiela, Douwe, and Stephen Clark. "Learning Neural Audio Embeddings for Grounding Semantics in Auditory Perception." Journal of Artificial Intelligence Research 60 (December 26, 2017): 1003–30. http://dx.doi.org/10.1613/jair.5665.

Full text

Abstract:

Multi-modal semantics, which aims to ground semantic representations in perception, has relied on feature norms or raw image data for perceptual input. In this paper we examine grounding semantic representations in raw auditory data, using standard evaluations for multi-modal semantics. After having shown the quality of such auditorily grounded representations, we show how they can be applied to tasks where auditory perception is relevant, including two unsupervised categorization experiments, and provide further analysis. We find that features transfered from deep neural networks outperform b

APA, Harvard, Vancouver, ISO, and other styles

16

Borisenko, T., M. Tsinovaya, L. Tsapenko, and T. Sirotenko. "THE INFLUENCE OF COMPONENT SEMANTICS IN MODAL VERB CONSTRUCTIONS WITH THE MODAL VERBS OF “OBLIGATION” ON THEIR GRAMMATICAL AND STATISTICAL FEATURES (ON THE BASIS OF THE TECHNICAL DISCOURSE TEXTS)." PROBLEMS OF SEMANTICS, PRAGMATICS AND COGNITIVE LINGUISTICS, no. 33 (2018): 82–99. http://dx.doi.org/10.17721/2663-6530.2018.33.06.

Full text

Abstract:

The article presents the study of Modal verb constructions with the modal verbs of “obligation” must, have to+ Inf., be to + Inf. functioning in the scientific and technical discourse texts. The material of the research are three technical text corpora, which belong to engineering fields scientifically and technically unrelated to each other – “Electrical Engineering (Energy Supply and Power Management)”, “Automotive Industry” and “Chemical Engineering” – and compiled on the basis of scientific journals of the United States and Great Britain. This allows to obtain the results that are supposed

APA, Harvard, Vancouver, ISO, and other styles

17

Serebrennikov, Sergei Viktorovich. "Modus of necessity and modus of assumption in causal structures of the text." Филология: научные исследования, no. 1 (January 2020): 133–41. http://dx.doi.org/10.7256/2454-0749.2020.1.32048.

Full text

Abstract:

This article explores causal relations complicated by modus saturation. As examples, the author selected the modus of necessity with modal predicate must, and modus of assumption with modal work perhaps. The goal of this work consists in examination of causal semantics in modus formations of various type and mark out a demarcation that is important in analyzing causal semantics and logics of similar relations in a sentence and text. The following methods are applies in the course of this research component analysis, propositional analysis, and contextual analysis. The work is conducted within

APA, Harvard, Vancouver, ISO, and other styles

18

Eryomin, A. N., and O. O. Petrova. "On the temporality and modality of the internal predicates of lexical meanings (on the material of personal names)." Russian language at school 85, no. 2 (2024): 90–96. http://dx.doi.org/10.30515/0131-6141-2024-85-2-90-96.

Full text

Abstract:

The article examines the lexical semantics of personal names and the modality of "internal predicates of meaning" hidden in this semantics on the material of the modern Russian language. The study is relevant due to the insufficient knowledge of the modality of internal predicates of personal names. The article aims to identify and analyse the temporal and modal semantics of internal predicates of lexical meanings. The theoretical significance of the research is determined by the observational results the authors arrive at while studying the semantics and modality of the lexical meanings of pe

APA, Harvard, Vancouver, ISO, and other styles

19

Koroleva, Tetiana, and Hannna Syvokin. "Modal Semantics in Children’s Literature." Naukovy Visnyk of South Ukrainian National Pedagogical University named after K. D. Ushynsky: Linguistic Sciences 26, no. 27 (2019): 142–53. http://dx.doi.org/10.24195/2616-5317-2018-27-17.

Full text

Abstract:

Linguistic means actualizing deontical, alethical, axiological and epistemical modality in children’s literature are researched in the article. It’s been proved that linguistic means of modal semantics refer to the effective instruments influencing the evolutionary process of child’s cognitive development. This aim is reached by the following means used by the author: lexical and grammatical forms (nonstandard syntactic structures, attitudinal lexemes), phonetic forms (phrase intonation variability due to inversion and graphical means), stylistic figures exploitation (metaphors, epithets, comp

APA, Harvard, Vancouver, ISO, and other styles

20

Portner, Paul. "The Progressive in Modal Semantics." Language 74, no. 4 (1998): 760. http://dx.doi.org/10.2307/417002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Agudelo-Agudelo, Juan C., and Santiago Echeverri-Valencia. "Polynomial semantics for modal logics." Journal of Applied Non-Classical Logics 29, no. 4 (2019): 430–49. http://dx.doi.org/10.1080/11663081.2019.1676004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Cai, Rui, Zhiyu Dong, Jianfeng Dong, and Xun Wang. "Dynamic Adapter with Semantics Disentangling for Cross-lingual Cross-modal Retrieval." Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 2 (2025): 1907–16. https://doi.org/10.1609/aaai.v39i2.32186.

Full text

Abstract:

Existing cross-modal retrieval methods typically rely on large-scale vision-language pair data. This makes it challenging to efficiently develop a cross-modal retrieval model for under-resourced languages of interest. Therefore, Cross-lingual Cross-modal Retrieval (CCR), which aims to align vision and the low-resource language (the target language) without using any human-labeled target-language data, has gained increasing attention. As a general parameter-efficient way, a common solution is to utilize adapter modules to transfer the vision-language alignment ability of Vision-Language Pretrai

APA, Harvard, Vancouver, ISO, and other styles

23

Goldstein, Simon. "Generalized Update Semantics." Mind 128, no. 511 (2019): 795–835. http://dx.doi.org/10.1093/mind/fzy076.

Full text

Abstract:

Abstract This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics for modals into a dynamic semantics f

APA, Harvard, Vancouver, ISO, and other styles

24

RIN, BENJAMIN G., and SEAN WALSH. "REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION." Review of Symbolic Logic 9, no. 4 (2016): 752–809. http://dx.doi.org/10.1017/s1755020316000095.

Full text

Abstract:

AbstractA semantics for quantified modal logic is presented that is based on Kleene’s notion of realizability. This semantics generalizes Flagg’s 1985 construction of a model of a modal version of Church’s Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach, we show that the construction produces (i) a model of a modal version of Church’s Thesis and a variant of a modal set theory due to Goodman and Scedrov, (ii) a model of a modal version of Troelstra’s generalized continuity principle t

APA, Harvard, Vancouver, ISO, and other styles

25

Mikec, Luka. "On Logics and Semantics for Interpretability." Bulletin of Symbolic Logic 28, no. 2 (2022): 265. http://dx.doi.org/10.1017/bsl.2022.3.

Full text

Abstract:

AbstractWe study various properties of formalised relativised interpretability. In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity.In particular, we study two basic types of relational semantics for interpretability logics. One is the Veltman semantics, which we shall refer to as the regular or ordinary semantics; the other is called generalised Veltman semantics. In the recent years and especially during the writing of this thesis, generalised Veltman semantics was s

APA, Harvard, Vancouver, ISO, and other styles

26

Nauze, Fabrice. "Multiple modals construction." ZAS Papers in Linguistics 44, no. 2 (2006): 251–64. http://dx.doi.org/10.21248/zaspil.44.2006.315.

Full text

Abstract:

Modal items of different semantic types can only be combined in a specific order. Epistemic items, for instance, cannot be embedded under deontic ones. I'll argue that this fact cannot be explained by the current semantic theories of modality. A solution to this problem will be developed in an update semantics framework. On the semantic side, a distinction will be drawn between circumstantial information about the world and information about duties, whereas I'll use Nuyts' notion of m-performativity to account for certain use of the modal items.

APA, Harvard, Vancouver, ISO, and other styles

27

Butler, Jonny. "The Structure of Temporality and Modality." Linguistic Variation Yearbook 2006 6 (December 31, 2006): 161–201. http://dx.doi.org/10.1075/livy.6.08but.

Full text

Abstract:

This paper offers a view of clause structure based on semantic interpretability, focusing on the structure and interpretation of temporal (tense, aspect) and modal elements. It proposes that modality has a unitary lexical semantics along the lines of Krater (1977 et seq), with different interpretations of modals deriving from the interaction of that semantics with the interpretation of the temporal elements in the structural context the modals are found. Different positions for modal interpretation are proposed, corresponding the the edges of phases (Chomsky 2001). Evidence for this view is pu

APA, Harvard, Vancouver, ISO, and other styles

28

Ozonova, Aiiana A., and Larisa N. Tybykova. "Comparative affix -DYy and modal-comparative markers derived from this affix (a case study of the Altai language)." Sibirskiy filologicheskiy zhurnal, no. 3 (2024): 29–46. http://dx.doi.org/10.17223/18137083/88/2.

Full text

Abstract:

The paper examines the semantics and functioning of the comparative affix -DYy and modal-comparative markers derived from this affix in the Altai language. -DYy is a common marker in comparative constructions indicating a realistic comparison. Originating as a postposition, it frequently appears in various Turkic languages. In the Altai language, the status of this affix is not unambiguous, being commonly categorized as a postposition-affix, case form, or derivational morpheme. It signifies the comparative relationships of similarity between situations or objects. In modern Altai, -DYy is a pa

APA, Harvard, Vancouver, ISO, and other styles

29

Hella, Lauri, Antti Kuusisto, Arne Meier, and Jonni Virtema. "Model checking and validity in propositional and modal inclusion logics." Journal of Logic and Computation 29, no. 5 (2019): 605–30. http://dx.doi.org/10.1093/logcom/exz008.

Full text

Abstract:

Abstract Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity problems of these logics. We identify complexity bounds for both problems, covering both lax and strict team semantics. By doing so, we come close to finalizing the programme that aims to completely classify the complexities of the basic reasoning problems for modal and propositional dependence, independence and inclusion logics.

APA, Harvard, Vancouver, ISO, and other styles

30

Katz, Graham, Paul Portner, and Aynat Rubinstein. "Ordering combination for modal comparison." Semantics and Linguistic Theory 22 (September 3, 2012): 488. http://dx.doi.org/10.3765/salt.v22i0.2647.

Full text

Abstract:

The well-known ordering semantics for modality has recently been challenged by a number of puzzles which may cast doubt on the viability of this approach. We investigate the properties of the ordering relations used in ordering semantics with a focus on how to derive appropriate orderings based on intuitively correct premises. We use these tools to propose solutions to two of the puzzles and discuss how they relate to other puzzles that have been raised in the literature, and to modal semantics more generally.

APA, Harvard, Vancouver, ISO, and other styles

31

Lassiter, Daniel. "Quantificational and modal interveners in degree constructions." Semantics and Linguistic Theory 22 (September 3, 2012): 565. http://dx.doi.org/10.3765/salt.v22i0.2649.

Full text

Abstract:

Heim (2001) points out that the relational semantics for degrees predicts ambiguities in sentences with comparatives and quantifiers such as _every girl_ that are not observed. She also notes that the same ambiguities do appear with strong modals such as _must_ and _have to_, but not with weaker modals such as _should_, _ought_, and _want_. The problem is to explain why these classes of expressions would behave differently, given that they are all standardly treated as universal quantifiers. I present several counter-examples to Heim's account of this data and then argue that the puzzle involv

APA, Harvard, Vancouver, ISO, and other styles

32

Botting, David. "Toulmin’s modal qualifiers: “probably”." Revista Iberoamericana de Argumentación, no. 16 (June 13, 2018): 33–68. http://dx.doi.org/10.15366/ria2018.16.002.

Full text

Abstract:

In “The Uses of Argument” Stephen Toulmin unleashes a fierce attack against formal logic. For his attack to work, modal qualifiers like “necessarily”, “possibly” and “probably” when occurring in natural language arguments do not mean what formal logicians take them to mean but have another semantics. Toulmin gives a pragmatic account of this semantics in which what these modal qualifiers mean is equivalent to what they are used to do. I will defend Toulmin’s account of “probably” as an account of the pragmatics of “probably”, but uphold Searle’s objection that taking this as an account of thei

APA, Harvard, Vancouver, ISO, and other styles

33

Hua, Yan, Yingyun Yang, and Jianhe Du. "Deep Multi-Modal Metric Learning with Multi-Scale Correlation for Image-Text Retrieval." Electronics 9, no. 3 (2020): 466. http://dx.doi.org/10.3390/electronics9030466.

Full text

Abstract:

Multi-modal retrieval is a challenge due to heterogeneous gap and a complex semantic relationship between different modal data. Typical research map different modalities into a common subspace with a one-to-one correspondence or similarity/dissimilarity relationship of inter-modal data, in which the distances of heterogeneous data can be compared directly; thus, inter-modal retrieval can be achieved by the nearest neighboring search. However, most of them ignore intra-modal relations and complicated semantics between multi-modal data. In this paper, we propose a deep multi-modal metric learnin

APA, Harvard, Vancouver, ISO, and other styles

34

Rabern, Brian. "Propositions and Multiple Indexing." Thought: A Journal of Philosophy 1, no. 2 (2012): 116–24. http://dx.doi.org/10.1002/tht.16.

Full text

Abstract:

It is argued that propositions cannot be the compositional semantic values of sentences (in context) simply due to issues stemming from the compositional semantics of modal operators (or modal quantifiers). In particular, the fact that the arguments for double indexing generalize to multiple indexing exposes a fundamental tension in the default philosophical conception of semantic theory. This provides further motivation formaking a distinction between two sentential semantic contents—what (Dummett 1973) called ‘‘ingredient sense’’ and ‘‘assertoric content’’.

APA, Harvard, Vancouver, ISO, and other styles

35

Bujtor, Ferenc, and Walter Vogler. "Failure Semantics for Modal Transition Systems." ACM Transactions on Embedded Computing Systems 14, no. 4 (2015): 1–30. http://dx.doi.org/10.1145/2746336.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Palmigiano, Alessandra. "Coalgebraic Semantics for Positive Modal Logic." Electronic Notes in Theoretical Computer Science 82, no. 1 (2003): 221–36. http://dx.doi.org/10.1016/s1571-0661(04)80641-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Johannesson, Eric. "Partial Semantics for Quantified Modal Logic." Journal of Philosophical Logic 47, no. 6 (2018): 1049–60. http://dx.doi.org/10.1007/s10992-018-9461-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

HOFMANN, MARTIN. "Semantics of linear/modal lambda calculus." Journal of Functional Programming 9, no. 3 (1999): 247–77. http://dx.doi.org/10.1017/s0956796899003433.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Marx, Maarten. "Multi-Dimensional Semantics for Modal Logics." Notre Dame Journal of Formal Logic 37, no. 1 (1996): 25–34. http://dx.doi.org/10.1305/ndjfl/1040067313.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Waagbø, Geir, and G. Waagbø. "QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38, no. 1 (1992): 491–99. http://dx.doi.org/10.1002/malq.19920380144.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Conradie, Willem, Andrea De Domenico, Krishna Manoorkar, et al. "Modal reduction principles across relational semantics." Fuzzy Sets and Systems 481 (April 2024): 108892. http://dx.doi.org/10.1016/j.fss.2024.108892.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Zhang, Chengyuan, Jiayu Song, Xiaofeng Zhu, Lei Zhu, and Shichao Zhang. "HCMSL: Hybrid Cross-modal Similarity Learning for Cross-modal Retrieval." ACM Transactions on Multimedia Computing, Communications, and Applications 17, no. 1s (2021): 1–22. http://dx.doi.org/10.1145/3412847.

Full text

Abstract:

The purpose of cross-modal retrieval is to find the relationship between different modal samples and to retrieve other modal samples with similar semantics by using a certain modal sample. As the data of different modalities presents heterogeneous low-level feature and semantic-related high-level features, the main problem of cross-modal retrieval is how to measure the similarity between different modalities. In this article, we present a novel cross-modal retrieval method, named Hybrid Cross-Modal Similarity Learning model (HCMSL for short). It aims to capture sufficient semantic information

APA, Harvard, Vancouver, ISO, and other styles

43

Varzi, Achille C. "Counterpart theories for everyone." Synthese 197, no. 11 (2020): 4691–715. http://dx.doi.org/10.1007/s11229-020-02720-1.

Full text

Abstract:

Abstract David Lewis’s counterpart theory (CT) is often seen as involving a radical departure from the standard, Kripke-style semantics for modal logic (ML), suggesting that we are dealing with deeply divergent accounts of our modal talk. However, CT captures but one version of the relevant semantic intuition, and does so on the basis of metaphysical assumptions (all worlds are equally real, individuals are world-bound) that are ostensibly discretionary. Just as ML can be translated into a language that quantifies explicitly over worlds, CT may be formulated as a semantic theory in which world

APA, Harvard, Vancouver, ISO, and other styles

44

Gouranga, Gouranga, and Gouranga Mandal. "Panoptic Segmentation with Multi-Modal Dataset Using an Improved Network Model." Journal of Cybersecurity and Information Management 14, no. 2 (2024): 101–14. http://dx.doi.org/10.54216/jcim.140207.

Full text

Abstract:

For biomedical image analysis, instance segmentation is crucial. It is still difficult because of the intricate backdrop elements, the significant variation in object appearances, the large number of overlapping items, and the hazy object borders. Deep learning-based techniques, which may be separated into proposal-free and proposal-based approaches, have been frequently employed recently to overcome these challenges. The existing approaches experience information loss due to their concentration on either local-level instance features or global-level semantics. To solve this problem, this work

APA, Harvard, Vancouver, ISO, and other styles

45

Liu, Zhihang, Jun Li, Hongtao Xie, et al. "Towards Balanced Alignment: Modal-Enhanced Semantic Modeling for Video Moment Retrieval." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 4 (2024): 3855–63. http://dx.doi.org/10.1609/aaai.v38i4.28177.

Full text

Abstract:

Video Moment Retrieval (VMR) aims to retrieve temporal segments in untrimmed videos corresponding to a given language query by constructing cross-modal alignment strategies. However, these existing strategies are often sub-optimal since they ignore the modality imbalance problem, i.e., the semantic richness inherent in videos far exceeds that of a given limited-length sentence. Therefore, in pursuit of better alignment, a natural idea is enhancing the video modality to filter out query-irrelevant semantics, and enhancing the text modality to capture more segment-relevant knowledge. In this pap

APA, Harvard, Vancouver, ISO, and other styles

46

Valliappan, Nachiappan, Fabian Ruch, and Carlos Tomé Cortiñas. "Normalization for fitch-style modal calculi." Proceedings of the ACM on Programming Languages 6, ICFP (2022): 772–98. http://dx.doi.org/10.1145/3547649.

Full text

Abstract:

Fitch-style modal lambda calculi enable programming with necessity modalities in a typed lambda calculus by extending the typing context with a delimiting operator that is denoted by a lock. The addition of locks simplifies the formulation of typing rules for calculi that incorporate different modal axioms, but each variant demands different, tedious and seemingly ad hoc syntactic lemmas to prove normalization. In this work, we take a semantic approach to normalization, called normalization by evaluation (NbE), by leveraging the possible-world semantics of Fitch-style calculi to yield a more m

APA, Harvard, Vancouver, ISO, and other styles

47

Dagys, Jonas, Haroldas Giedra, and Živilė Pabijutaitė. "Inferences Between Buridan’s Modal Propositions." Problemos 101 (April 26, 2022): 31–41. http://dx.doi.org/10.15388/problemos.101.3.

Full text

Abstract:

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 analytic philosophy has encouraged the investigation of the relation of Buridan’s theory of modality with the modern developments of symbolic modal logic. We focus on the semantics of and the inferential relations among the propositions that underlie Buridan’s theory of modal syllogism. First, we review all inferences between propositions of nec

APA, Harvard, Vancouver, ISO, and other styles

48

Marin, Sonia, Marianela Morales, and Lutz Straßburger. "A fully labelled proof system for intuitionistic modal logics." Journal of Logic and Computation 31, no. 3 (2021): 998–1022. http://dx.doi.org/10.1093/logcom/exab020.

Full text

Abstract:

Abstract Labelled proof theory has been famously successful for modal logics by mimicking their relational semantics within deductive systems. Simpson in particular designed a framework to study a variety of intuitionistic modal logics integrating a binary relation symbol in the syntax. In this paper, we present a labelled sequent system for intuitionistic modal logics such that there is not only one but two relation symbols appearing in sequents: one for the accessibility relation associated with the Kripke semantics for normal modal logics and one for the pre-order relation associated with t

APA, Harvard, Vancouver, ISO, and other styles

49

Fernández Cuesta, José Alejandro. "Lógica modal megárico-estoica." HUMAN REVIEW. International Humanities Review / Revista Internacional De Humanidades 10 (September 17, 2021): 261–70. https://doi.org/10.37819/humanrev.v10i.877.

Full text

Abstract:

In this article, we introduce a possible way to interpret the possibility and necessity notions developed within the Megaric-Stoic logic as alethic modal operators. Megaric-Stoic semantics will be introduced as metaphysical background for necessity and possibility definitions and arguments will be offered in order to give up the prevailing interpretations which include ad hoc variables. After proposing the survey of Diodorus definitions from relational modal semantics, a series of topics that deserve to be revisited from this perspective will be pointed out.

APA, Harvard, Vancouver, ISO, and other styles

50

Fernández Cuesta, José Alejandro. "Lógica modal megárico-estoica." HUMAN REVIEW. International Humanities Review / Revista Internacional De Humanidades 10 (September 17, 2021): 261–70. https://doi.org/10.37819/revhuman.v10i.877.

Full text

Abstract:

In this article, we introduce a possible way to interpret the possibility and necessity notions developed within the Megaric-Stoic logic as alethic modal operators. Megaric-Stoic semantics will be introduced as metaphysical background for necessity and possibility definitions and arguments will be offered in order to give up the prevailing interpretations which include ad hoc variables. After proposing the survey of Diodorus definitions from relational modal semantics, a series of topics that deserve to be revisited from this perspective will be pointed out.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!