Results 31 to 40 of about 129,892 (308)
Multimodal Fusion: A Review, Taxonomy, Open Challenges, Research Roadmap and Future Directions [PDF]
Neutrosophic Sets and Systems, 2021 The present work collects a plethora of previous research work in the field of multimodal fusion which despite a lot of research could not handle the imperfections.
Mohd Anas Wajid, Aasim Zafar
doaj +1 more source
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic, 2021 Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions ...
Tarek Sayed Ahmed
doaj +1 more source
Cut elimination for knowledge logic with interaction
Lietuvos Matematikos Rinkinys, 2021 In the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined.
Julius Andrikonis +1 more
doaj +1 more source
Informal Logic, 2022 Michael Gilbert’s multi-modal theory of argument challenges earlier accounts of arguing assumed in formal and informal logic. His account of emotional, visceral, and kisceral modes of arguing rejects the assumption that all arguments must be treated as ...
Leo Groarke
doaj +1 more source
Canonicity in power and modal logics of finite achronal width [PDF]
The Review of Symbolic Logic 17 (2024) 705-735, 2022 We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones. This is applied to many systems, including the logics of finite width, and a broader class of multimodal logics of `finite achronal width' that are introduced here.
arxiv +1 more source
Interpreting Reo Circuits as PDL models
O Que Nos Faz Pensar, 2022 Reo is a coordination-based language with the proposal of connecting different systems and interfaces. It aims to develop communication between different systems with a high level of abstraction and without many restrictions.
Erick Grilo +2 more
doaj +1 more source
Multimodality in the Hypergraph Lambek Calculus [PDF]
EPTCS 381, 2023, pp. 46-59, 2023 The multimodal Lambek calculus is an extension of the Lambek calculus that includes several product operations (some of them being commutative or/and associative), unary modalities, and corresponding residual implications. In this work, we relate this calculus to the hypergraph Lambek calculus HL.
arxiv +1 more source
Mathematical modeling of multimodal transportation in Ukraine using methods of the graph theory [PDF]
E3S Web of Conferences, 2021 One of the problems of modernizing multimodal transportation of goods in post-Soviet countries is the optimization of the transport supply chain. This requires, in particular, a software package that is to be adapted to local conditions, to the expanded ...
Perevozova Iryna +4 more
doaj +1 more source
Continuous Markovian Logics - Axiomatization and Quantified Metatheory [PDF]
Logical Methods in Computer Science, 2012 Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs).
Radu Mardare +2 more
doaj +1 more source
The discourse structure of video games:A multimodal discourse semantics approach to game tutorials [PDF]
, 2022 The article proposes a multimodal discourse semantics approach to the analysis of video game tutorials that provides a discourse pragmatic analysis of the game canvases in these tutorials.
Stamenković, Dušan, Wildfeuer, Janina
core +1 more source