Results 201 to 210 of about 82,652 (246)

Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
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

A modal analysis of staged computation

Journal of the ACM, 1995
We 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, 2005
In 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

Proof Analysis in Modal Logic

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

A modal analysis of possibility theory

1991
In 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

2019
In 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, 2023
Xinyu Xia, Guohua Dong, Xiaomin Ying
exaly  

Modal Analysis

2013
Sridhar Gangadharan, Sanjay Churiwala
  +4 more sources

Home - About - Disclaimer - Privacy