Yu, Junhua On non-self-referential fragments of modal logics. (English) Zbl 1422.03037 Ann. Pure Appl. Logic 168, No. 4, 776-803 (2017). MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{J. Yu}, Ann. Pure Appl. Logic 168, No. 4, 776--803 (2017; Zbl 1422.03037) Full Text: DOI
Yu, Junhua Prehistoric graph in modal derivations and self-referentiality. (English) Zbl 1433.03059 Theory Comput. Syst. 54, No. 2, 190-210 (2014). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{J. Yu}, Theory Comput. Syst. 54, No. 2, 190--210 (2014; Zbl 1433.03059) Full Text: DOI
Yu, Junhua Self-referentiality of Brouwer-Heyting-Kolmogorov semantics. (English) Zbl 1348.03012 Ann. Pure Appl. Logic 165, No. 1, 371-388 (2014). MSC: 03B20 03B45 03F45 PDFBibTeX XMLCite \textit{J. Yu}, Ann. Pure Appl. Logic 165, No. 1, 371--388 (2014; Zbl 1348.03012) Full Text: DOI
Yu, Junhua Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic. (English) Zbl 1348.03013 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35721-3/pbk). Lecture Notes in Computer Science 7734, 401-414 (2013). MSC: 03B20 03B45 03F45 PDFBibTeX XMLCite \textit{J. Yu}, Lect. Notes Comput. Sci. 7734, 401--414 (2013; Zbl 1348.03013) Full Text: DOI