Junhua Yu

According to our database, Junhua Yu authored at least 9 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus.

Junhua Yu

Ann. Pure Appl. Log., 2020

2018

A Tableau System for Instantial Neighborhood Logic.

Junhua Yu

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

Instantial Neighbourhood Logic.

Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu

Rev. Symb. Log., 2017

On non-self-referential fragments of modal logics.

Junhua Yu

Ann. Pure Appl. Log., 2017

2014

Self-referentiality in Constructive Semantics of Intuitionistic and Modal Logics.

Junhua Yu

PhD thesis, 2014

Prehistoric Graph in Modal Derivations and Self-Referentiality.

Junhua Yu

Theory Comput. Syst., 2014

Self-referentiality of Brouwer-Heyting-Kolmogorov semantics.

Junhua Yu

Ann. Pure Appl. Log., 2014

2013

Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic.

Junhua Yu

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2010

Prehistoric Phenomena and Self-referentiality.

Junhua Yu

Proceedings of the Computer Science, 2010