•  68
    An Egocentric Logic of Knowing How to Tell Them Apart
    Journal of Symbolic Logic 90 (3): 1147-1179. 2025.
    Traditionally, the formulae in modal logic express properties of possible worlds. Prior introduced “egocentric” logics that capture properties of agents rather than of possible worlds. In such a setting, the article proposes the modality “know how to tell apart” and gives a complete logical system describing the interplay between this modality and the knowledge modality. An important contribution of this work is a new matrix-based technique for proving completeness theorems in an egocentric sett…Read more
  •  19
    Ubiquitous strong electron-phonon coupling at the interface of FeSe/SrTiO 3
    with C. Zhang, Z. Liu, Z. Chen, Y. Xie, R. He, S. Tang, J. He, W. Li, S. N. Rebec, E. Y. Ma, H. Yan, M. Hashimoto, D. Lu, S. K. Mo, Y. Hikita, R. G. Moore, H. Y. Hwang, D. Lee, and Z. Shen
    © The Author 2017.The observation of replica bands in single-unit-cell FeSe on SrTiO3 by angle-resolved photoemission spectroscopy has led to the conjecture that the coupling between FeSe electrons and the STO phonons are responsible for the enhancement of T c over other FeSe-based superconductors. However the recent observation of a similar superconducting gap in single-unit-cell FeSe/STO raised the question of whether a similar mechanism applies. Here we report the ARPES study of the electroni…Read more