List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Point-set neighborhood logic | 2025-06-26 | Paper |
| Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus Annals of Pure and Applied Logic | 2019-11-06 | Paper |
| A tableau system for instantial neighborhood logic | 2018-04-06 | Paper |
| Prehistoric graph in modal derivations and self-referentiality Theory of Computing Systems | 2017-11-07 | Paper |
| Instantial neighbourhood logic The Review of Symbolic Logic | 2017-05-31 | Paper |
| On non-self-referential fragments of modal logics Annals of Pure and Applied Logic | 2017-02-08 | Paper |
| Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic Logical Foundations of Computer Science | 2015-12-11 | Paper |
| Self-referentiality of Brouwer-Heyting-Kolmogorov semantics Annals of Pure and Applied Logic | 2014-01-13 | Paper |
| Prehistoric phenomena and self-referentiality Computer Science – Theory and Applications | 2010-06-22 | Paper |
Research outcomes over time
This page was built for person: Junhua Yu
