•  14
    Joint assessment of structural, perfusion, and diffusion MRI in Alzheimer's disease and frontotemporal dementia
    with N. Schuff, C. Ching, D. Tosun, W. Zhan, M. Nezamzadeh, H. J. Rosen, J. H. Kramer, M. L. Gorno-Tempini, B. L. Miller, and M. W. Weiner
    Most MRI studies of Alzheimer's disease and frontotemporal dementia have assessed structural, perfusion and diffusion abnormalities separately while ignoring the relationships across imaging modalities. This paper aimed to assess brain gray and white matter abnormalities jointly to elucidate differences in abnormal MRI patterns between the diseases. Twenty AD, 20 FTD patients, and 21 healthy control subjects were imaged using a 4Tesla MRI. GM loss and GM hypoperfusion were measured using high-re…Read more
  •  99
    A New Look at the Impact of Maximizing on Unhappiness: Two Competing Mediating Effects
    with Jiaxi Peng, Jiaxi Zhang, Pinjia Gong, Bing Han, Hao Sun, Fei Cao, and Danmin Miao
    Frontiers in Psychology 9. 2018.
  •  80
    Decidability of Logics Based on an Indeterministic Metric Tense Logic
    with Kai Li
    Studia Logica 103 (6): 1123-1162. 2015.
    This paper presents two general results of decidability concerning logics based on an indeterministic metric tense logic, which can be applied to, among others, logics combining knowledge, time and agency. We provide a general Kripke semantics based on a variation of the notion of synchronized Ockhamist frames. Our proof of the decidability is by way of the finite frame property, applying subframe transformations and a variant of the filtration technique
  •  107
    Inter-Definability of Horn Contraction and Horn Revision
    with Zhiqiang Zhuang and Maurice Pagnucco
    Journal of Philosophical Logic 46 (3): 299-332. 2017.
    There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are inter-definable as in the AGM case through the Levi and Harper identities. In this paper, we give a positive answer by providing methods for generating contraction and revision from their dual op…Read more
  •  74
    Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL
    with Zhaohui Zhu, Jinjin Zhang, and Yong Zhou
    Journal of Applied Logic 13 (4): 654-675. 2015.