Prehistoric Phenomena and Self-referentiality. - Junhua Yu (CSR, 2010)

Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic. - Junhua Yu (LFCS, 2013)

Self-referentiality of Brouwer-Heyting-Kolmogorov semantics. - Junhua Yu (Ann. Pure Appl. Log., 2014)

Prehistoric Graph in Modal Derivations and Self-Referentiality. - Junhua Yu (Theory Comput. Syst., 2014)

Self-referentiality in Constructive Semantics of Intuitionistic and Modal Logics. - Junhua Yu (2014)

On non-self-referential fragments of modal logics. - Junhua Yu (Ann. Pure Appl. Log., 2017)

Instantial Neighbourhood Logic. - Johan van Benthem; Nick Bezhanishvili; Sebastian Enqvist; Junhua Yu (Rev. Symb. Log., 2017)

A Tableau System for Instantial Neighborhood Logic. - Junhua Yu (LFCS, 2018)

Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus. - Junhua Yu (Ann. Pure Appl. Log., 2020)

Point-Set Neighborhood Logic. - Yanjing Wang 001; Junhua Yu (AiML, 2024)