Results 1 to 10 of about 1,394,777 (330)
Actualism and Modal Semantics [PDF]
Acta Analytica, 2017 According to actualism, modal reality is constructed out of valuations (combinations of truth values for all propositions). According to possibilism, modal reality consists in a set of possible worlds, conceived as independent objects that assign truth values to propositions. According to possibilism, accounts of modal reality can intelligibly disagree
José L. Zalabardo
semanticscholar +4 more sources
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +3 more sources
Neighbourhood Semantics for Graded Modal Logic
Bulletin of the Section of Logic, 2021 We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable.
Jinsheng Chen +3 more
doaj +6 more sources
Object Segmentation by Mining Cross-Modal Semantics [PDF]
ACM Multimedia, 2023 Multi-sensor clues have shown promise for object segmentation, but inherent noise in each sensor, as well as the calibration error in practice, may bias the segmentation accuracy.
Zongwei Wu +7 more
semanticscholar +1 more source
Probing Cross-modal Semantics Alignment Capability from the Textual Perspective [PDF]
Conference on Empirical Methods in Natural Language Processing, 2022 In recent years, vision and language pre-training (VLP) models have advanced the state-of-the-art results in a variety of cross-modal downstream tasks.
Zheng Ma +6 more
semanticscholar +1 more source
Audio-Visual Segmentation by Exploring Cross-Modal Mutual Semantics [PDF]
ACM Multimedia, 2023 The audio-visual segmentation (AVS) task aims to segment sounding objects from a given video. Existing works mainly focus on fusing audio and visual features of a given video to achieve sounding object masks.
Chen Liu +6 more
semanticscholar +1 more source
Detecting Human-Object Interactions with Object-Guided Cross-Modal Calibrated Semantics [PDF]
AAAI Conference on Artificial Intelligence, 2022 Human-Object Interaction (HOI) detection is an essential task to understand human-centric images from a fine-grained perspective. Although end-to-end HOI detection models thrive, their paradigm of parallel human/object detection and verb class prediction
Hangjie Yuan +3 more
semanticscholar +1 more source
First-Order Modal Semantics and Existence Predicate
Bulletin of the Section of Logic, 2022 In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. We point to a gap in the work
Patryk Michalczenia
doaj +1 more source
Semantic expressivism for epistemic modals [PDF]
Linguistics and Philosophy, 2020 AbstractExpressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance (that Jane isn’t late). Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative ...
Peter Hawke, Shane Steinert-Threlkeld
openaire +3 more sources
Semantically Multi-Modal Image Synthesis [PDF]
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020 To appear in CVPR ...
Zhu, Zhen +3 more
openaire +2 more sources