All Stories

  1. A Tableau System for Instantial Neighborhood Logic

    Article • November 2017, Springer Science + Business Media

    Junhua Yu

  2. On non-self-referential fragments of modal logics

    Article • Annals of Pure and Applied Logic, April 2017, Elsevier

    Junhua Yu

  3. INSTANTIAL NEIGHBOURHOOD LOGIC

    Article • The Review of Symbolic Logic, December 2016, Cambridge University Press

    Junhua Yu

  4. Self-referentiality of Brouwer–Heyting–Kolmogorov semantics

    Article • Annals of Pure and Applied Logic, January 2014, Elsevier

    Junhua Yu

  5. Prehistoric Graph in Modal Derivations and Self-Referentiality

    Article • Theory of Computing Systems, December 2013, Springer Science + Business Media

    Junhua Yu

  6. Prehistoric Phenomena and Self-referentiality

    Article • January 2010, Springer Science + Business Media

    Junhua Yu