Relevant bibliographies by topics / Modal semantics

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Modal semantics"

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
More sources

Dissertations / Theses on the topic "Modal semantics"

1

Mio, Matteo. "Game semantics for probabilistic modal μ-calculi". Thesis, University of Edinburgh, 2012. http://hdl.handle.net/1842/6223.

Full text
Abstract:
The probabilistic (or quantitative) modal μ-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS’s). Two semantics have been studied for this logic, both assigning to every process state a value in the interval [0, 1] representing the probability that the property expressed by the formula holds at the state. One semantics is denotational and the other is a game semantics, specified in terms of two-player stochastic games. The two semantics have been proved to coincide on all finite PLTS’s. A first contribution of the thesis is to
APA, Harvard, Vancouver, ISO, and other styles
2

Papafragou, Anna. "Modality and the semantics-pragmatics interface." Thesis, University College London (University of London), 1998. http://discovery.ucl.ac.uk/1317914/.

Full text
Abstract:
This thesis explores certain aspects of the structure of lexical semantics and its interaction with pragmatic processes of utterance comprehension, using as a case-study a sample of the English modal verbs. Contrary to previous polysemy-based accounts, I propose and defend a unitary semantic account of the English modals, and I give a relevance-theoretic explanation of the construction of their admissible (mainly, root and epistemic) contextual interpretations. Departing from previous accounts of modality, I propose a link between epistemic modality and metarepresentation, and treat the emerge
APA, Harvard, Vancouver, ISO, and other styles
3

Simpson, Alex K. "The proof theory and semantics of intuitionistic modal logic." Thesis, University of Edinburgh, 1994. http://hdl.handle.net/1842/407.

Full text
Abstract:
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic definitions in the ordinary meta-theory of informal classical mathematics. If, however, the same semantic definitions are interpreted in an intuitionistic meta-theory then the induced modal logics no longer satisfy certain intuitionistically invalid principles. This thesis investigates the intuitionistic modal logics that arise in this way. Natural deduction systems for various intuitionistic modal logics are presented. From on
APA, Harvard, Vancouver, ISO, and other styles
4

Gabelaia, David. "Topological semantics and two-dimensional combinations of modal logics." Thesis, King's College London (University of London), 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.414426.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ou, Jiali. "On the semantics of the Chinese modal adverb you." HKBU Institutional Repository, 2015. https://repository.hkbu.edu.hk/etd_oa/146.

Full text
Abstract:
This study aims to investigate the modal meamngs of you under Kratzer (1981)'s and Xie (2006)'s modality theory. Data is collected from Academia Sinica Balanced Corpus of Modern Chinese (ASBCMC hereafter). In ASBCMC, you has two types of modal meanings. It expresses the divergence between the speaker's expectation and the situation presented by the sentence (labeled as you1 hereafter). It also can indicate the convergence between the expectation and the situation (labeled as you2 hereafter). In respect to you1, the proposition that describes the situation has a truth value opposite to that of
APA, Harvard, Vancouver, ISO, and other styles
6

Dalmonte, Tiziano. "Non-normal modal logics : neighbourhood semantics and their calculi." Electronic Thesis or Diss., Aix-Marseille, 2020. http://www.theses.fr/2020AIXM0314.

Full text
Abstract:
Dans cette thèse, nous étudions la théorie de la preuve des logiques modales non-normales. Ces logiques ont été considérées dès les prémisses de la logique modale moderne, et ont été appliquées à de nombreux domaines, tels que le raisonnement déontique, le raisonnement épistémique, ainsi que le raisonnement dans les systèmes multi-agents. Nous définissons des systèmes de preuve pour des logiques modales non-normales ayant de bonnes propriétés calculatoires et sémantiques. Ces systèmes permettent de donner des procédures de décision et d'extraire des contre-modèles pour les formules non-valides
APA, Harvard, Vancouver, ISO, and other styles
7

Kotzsch, Hans-Christoph [Verfasser], and Hannes [Akademischer Betreuer] Leitgeb. "Topos semantics for higher-order modal logic / Hans-Christoph Kotzsch ; Betreuer: Hannes Leitgeb." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2016. http://d-nb.info/1125883928/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Calardo, Erica <1980&gt. "Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amsdottorato.unibo.it/6108/1/calardo_erica_tesi.pdf.

Full text
Abstract:
This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, an
APA, Harvard, Vancouver, ISO, and other styles
9

Calardo, Erica <1980&gt. "Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amsdottorato.unibo.it/6108/.

Full text
Abstract:
This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, an
APA, Harvard, Vancouver, ISO, and other styles
10

Rehn, Anna-Karin. "Translating Modality : Disentangling the semantics of the modal auxiliaries in an investment fund prospectus and its translation from English to Swedish." Thesis, Linnéuniversitetet, Institutionen för språk (SPR), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-55839.

Full text
Abstract:
This paper analyses the use of modal auxiliaries in an investment fund prospectus and how they are translated into Swedish. The semantics of modal auxiliaries is a rather fuzzy area. One modal verb such as may or will can have several different meanings, depending on the textual and situational context. Correctly interpreting the modal verbs is an important prerequisite for an accurate translation. A theoretical background founded on linguistic studies and grammatical presentations by Palmer (2001), Huddleston and Pullum (2002), Coates (1983), Teleman et al. (1999) and Wärnsby (2006) and other
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Modal semantics"

1

Pacuit, Eric. Neighborhood Semantics for Modal Logic. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67149-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cocchiarella, Nino B. Modal logic: An introduction to its syntax and semantics. Oxford University Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Roberts, Craige. Modal subordination, anaphora, and distributivity. Garland Pub., 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Karin, Aijmer, ed. The semantic field of modal certainty: A corpus-based study of English adverbs. Mouton de Gruyter, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Coniglio, Marcelo Esteban, Ekaterina Kubyshkina, and Dmitry Zaitsev, eds. Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev. Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-56595-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nykiel, Jerzy. Expressing obligation in Old English: Constructions with pre-modal and lexical verbs. Wydawnictwo Uniwersytetu Śląskiego, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Keśavacandra, Dāśa, and National Seminar on "Indian Semantics, Computational Model and Nyaya Philosophy of Language (1992 : Sri Jagannath Sanskrit Vishvavidyalaya, Puri), eds. Indian semantics, a computational model. Agama Kala Prakashan, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Simon-Vandenbergen, Anne-Marie, and Karin Aijmer. The Semantic Field of Modal Certainty. Mouton de Gruyter, 2007. http://dx.doi.org/10.1515/9783110198928.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Voorst, Jan Van. A localist model for event semantics. N.I.S. Foundation, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

1956-, Droste Manfred, and Gurevich Yuri, eds. Semantics of programming languages and model theory. Gordon and Breach Science Publishers, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Modal semantics"

1

Gabbay, Dov M. "Introducing Reactive Modal Tableaux." In Reactive Kripke Semantics. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41389-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gabbay, Dov M. "Modal Logics of Reactive Frames." In Reactive Kripke Semantics. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41389-6_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gabbay, Dov M. "Completeness Theorems for Reactive Modal Logics." In Reactive Kripke Semantics. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41389-6_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

O'Connor, Noel E., David A. Sadlier, Bart Lehane, Andrew Salway, Jan Nemrava, and Paul Buitelaar. "Multi-Modal Analysis for Content Structuring and Event Detection." In Multimedia Semantics. John Wiley & Sons, Ltd, 2011. http://dx.doi.org/10.1002/9781119970231.ch12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ruzsa, Imre. "The Semantics of the Q Systems." In Modal Logic with Descriptions. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-2294-0_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ma, Minghui, and Shanxia Wang. "Finite-Chain Graded Modal Logic." In Modality, Semantics and Interpretations. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47197-5_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pacuit, Eric. "Introduction and Motivation." In Neighborhood Semantics for Modal Logic. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67149-9_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Pacuit, Eric. "Core Theory." In Neighborhood Semantics for Modal Logic. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67149-9_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Pacuit, Eric. "Richer Languages." In Neighborhood Semantics for Modal Logic. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67149-9_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zha, Fei. "Similarity of States in Modal Logic." In Modality, Semantics and Interpretations. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47197-5_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Modal semantics"

1

Hosseinzadeh, Mehdi, and Ian Reid. "BEVPose: Unveiling Scene Semantics through Pose-Guided Multi-Modal BEV Alignment." In 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, 2024. https://doi.org/10.1109/iros58592.2024.10801390.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Xu, Zhongping. "Intelligent fusion power communication scheduling method based on multi-modal semantics." In Ninth International Conference on Energy System, Electricity and Power (ESEP 2024), edited by Mohan Lal Kolhe, Yunfei Mu, Ze Cheng, and Qian Xiao. SPIE, 2025. https://doi.org/10.1117/12.3061128.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rong, Yujia, Bo Jiang, and Hong Xu. "Integrating Textual Semantics with Visual Positioning: A Multi-Modal Approach to Enhanced Complex Table Understanding." In 2025 6th International Conference on Computer Vision, Image and Deep Learning (CVIDL). IEEE, 2025. https://doi.org/10.1109/cvidl65390.2025.11085925.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cabalar, Pedro, Thomas Eiter, and Davide Soldà. "Contracted Temporal Equilibrium Logic." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/21.

Full text
Abstract:
The stable model semantics of logic programs has been characterized by Equilibrium Logic, which is a non-monotonic formalism that selects models from the (monotonic) intermediate logic of Here-and-There. It provides stable models for arbitrary propositional formulas and has been fruitfully extended to different modal languages. Among them are theories in the syntax of Linear-Time Temporal Logic (LTL), giving rise to Temporal Equilibrium logic (TEL) based on Temporal Here-and-There (THT). In TEL, models are selected that minimize truth among THT traces of the same length. In this paper, we cons
APA, Harvard, Vancouver, ISO, and other styles
5

Wang, Wenzhe, Mengdan Zhang, Runnan Chen, et al. "Dig into Multi-modal Cues for Video Retrieval with Hierarchical Alignment." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/154.

Full text
Abstract:
Multi-modal cues presented in videos are usually beneficial for the challenging video-text retrieval task on internet-scale datasets. Recent video retrieval methods take advantage of multi-modal cues by aggregating them to holistic high-level semantics for matching with text representations in a global view. In contrast to this global alignment, the local alignment of detailed semantics encoded within both multi-modal cues and distinct phrases is still not well conducted. Thus, in this paper, we leverage the hierarchical video-text alignment to fully explore the detailed diverse characteristic
APA, Harvard, Vancouver, ISO, and other styles
6

Klin, Bartek. "Bialgebraic Operational Semantics and Modal Logic." In 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007). IEEE, 2007. http://dx.doi.org/10.1109/lics.2007.13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Jung, Achim, and Umberto Rivieccio. "Kripke Semantics for Modal Bilattice Logic." In 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013). IEEE, 2013. http://dx.doi.org/10.1109/lics.2013.50.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bujtor, Ferenc, and Walter Vogler. "Failure Semantics for Modal Transition Systems." In 2014 14th International Conference on Application of Concurrency to System Design. IEEE, 2014. http://dx.doi.org/10.1109/acsd.2014.11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fagin, R., and M. Y. Vardi. "An internal semantics for modal logic." In the seventeenth annual ACM symposium. ACM Press, 1985. http://dx.doi.org/10.1145/22145.22179.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lorini, Emiliano. "A Rule-Based Modal View of Causal Reasoning." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/366.

Full text
Abstract:
We present a novel rule-based semantics for causal reasoning as well as a number of modal languages interpreted over it. They enable us to represent some fundamental concepts in the theory of causality including causal necessity and possibility, interventionist conditionals and Lewisian conditionals. We provide complexity results for the satisfiability checking and model checking problem for these modal languages. Moreover, we study the relationship between our rule-based semantics and the structural equation modeling (SEM) approach to causal reasoning, as well as between our rule-based semant
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Modal semantics"

1

Artemov, Sergei N., Jennifer M. Davoren, and A. Nerode. Modal Logics and Topological Semantics for Hybrid Systems. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada344355.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.

Full text
Abstract:
The eight topological RCC8(or Egenhofer-Franzosa)- relations between spatial regions play a fundamental role in spatial reasoning, spatial and constraint databases, and geographical information systems. In analogy with Halpern and Shoham’s modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the RCC8-relations. The semantics is based on region spaces induced by standard topological spaces, in particular the real plane. We investigate the expressive power and computational complexity of the
APA, Harvard, Vancouver, ISO, and other styles
3

Zelenskyi, Arkadii A. Relevance of research of programs for semantic analysis of texts and review of methods of their realization. [б. в.], 2018. http://dx.doi.org/10.31812/123456789/2884.

Full text
Abstract:
One of the main tasks of applied linguistics is the solution of the problem of high-quality automated processing of natural language. The most popular methods for processing natural-language text responses for the purpose of extraction and representation of semantics should be systems that are based on the efficient combination of linguistic analysis technologies and analysis methods. Among the existing methods for analyzing text data, a valid method is used by the method using a vector model. Another effective and relevant means of extracting semantics from the text and its representation is
APA, Harvard, Vancouver, ISO, and other styles
4

deBry, R., T. Hastings, R. Herriot, S. Isaacson, and P. Powell. Internet Printing Protocol/1.0: Model and Semantics. RFC Editor, 1999. http://dx.doi.org/10.17487/rfc2566.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Herriot, R., R. deBry, S. Isaacson, and P. Powell. Internet Printing Protocol/1.1: Model and Semantics. Edited by T. Hastings. RFC Editor, 2000. http://dx.doi.org/10.17487/rfc2911.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Sweet, M., and I. McDonald. Internet Printing Protocol/1.1: Model and Semantics. RFC Editor, 2017. http://dx.doi.org/10.17487/rfc8011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hansen, Jeffery P., Lutz Wrage, Sagar Chaki, Dionisio de Niz, and Mark Klein. Semantic Importance Sampling for Statistical Model Checking. Defense Technical Information Center, 2014. http://dx.doi.org/10.21236/ada613893.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hansen, Jeffery P., Lutz Wrage, Sagar Chaki, Dionisio de Niz, and Mark Klein. Semantic Importance Sampling for Statistical Model Checking. Defense Technical Information Center, 2015. http://dx.doi.org/10.21236/ada614107.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Robin, Alex, and Mahnoush Jahromi, eds. OGC Testbed-17: SIF Semantic Model Engineering Report. Open Geospatial Consortium, Inc., 2022. http://dx.doi.org/10.62973/21-030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Borgwardt, Stefan, Felix Distel, and Rafael Peñaloza. Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.199.

Full text
Abstract:
In the last few years there has been a large effort for analysing the computational properties of reasoning in fuzzy Description Logics. This has led to a number of papers studying the complexity of these logics, depending on their chosen semantics. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy DLs w.r.t. witnessed models over the Gödel t-norm. We show that in the logic G-IALC, reasoning cannot be restricted to finitely valued models in general. Despite this negative result, we also show that all the stan
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Modal semantics' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography