Results 201 to 210 of about 82,652 (246)
Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study
ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani +10 more
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A modal analysis of staged computation
Journal of the ACM, 1995We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of typed λ-calculi and functional languages. We directly demonstrate the sense in which our λ e →□ -calculus captures staging, and also ...
Rowan Davies, Frank Pfenning
openaire +1 more source
A Modal Analysis of Presupposition and Modal Subordination
Journal of Semantics, 2005In this paper I will give a modal two-dimensional analysis of presupposition and modal subordination. I will think of presupposition as a non-veridical propositional attitude. This allows me to evaluate what is presupposed and what is asserted at different dimensions without getting into the binding problem.
openaire +2 more sources
Journal of Philosophical Logic, 2005
Labelled sequent calculi, which internalize Kripke semantics into inference systems, are introduced for many normal modal logics such as K, T, K4, KB, S4, TB, S5 and GL. The calculi are cut-free and contraction-free and the validity of structural properties, invertibility of rules, admissibility of substitution, contraction and cut are proved ...
openaire +1 more source
Labelled sequent calculi, which internalize Kripke semantics into inference systems, are introduced for many normal modal logics such as K, T, K4, KB, S4, TB, S5 and GL. The calculi are cut-free and contraction-free and the validity of structural properties, invertibility of rules, admissibility of substitution, contraction and cut are proved ...
openaire +1 more source
A modal analysis of possibility theory
1991In this paper we study possibility theory from the point of view of modal logic. Our first and main result is that the logic of qualitative possibility is nothing else than Lewis's conditional logic VN. Second, we propose a multi-modal logic able to support possibility theory. Some connexions between these formalisms are stressed.
Luis Fariñas del Cerro, Andreas Herzig
openaire +1 more source
A modal analysis of modal subordination
2019In this paper I will give a modal two-dimensional analysis of presupposition and modal subordination. I will think of presupposition as a non-veridical propositional attitude. This allows me to evaluate what is presupposed and what is asserted at different dimensions without getting into the binding problem.
openaire +1 more source
When CLIP meets cross-modal hashing retrieval: A new strong baseline
Information Fusion, 2023Xinyu Xia, Guohua Dong, Xiaomin Ying
exaly

