Scholar's profile
Wang, Ren June
Wang, Ren June
Associate Professor
Department and Institute of Philosophy
rjwang@ccu.edu.tw
Visit my personal website

Scopus Data (view scopus profile)

Publication Achievements 1997 - 2017
Publication Index
Documents
6
CITATIONS
53
H-INDEX
3
FWCI
0.00
Co-authors
3
Last Sync Date: 2025-08-17

Google Scolar

ORCID

Overview Research output International exchange activities Honors / Prize
Research output per year
1997
2017
2
Article
1
Book Chapter
3
Conference Paper

Scopus

Print-friendly
A total of 6 data records, Page 1 / 1 , records per page, Go to page  
1

Publication

Print-friendly
  • 1 “Interpreting the Plus Sign in Justification Logic as the Union of Sets of Justifications”
    Ren-June Wang
    Studies in Logic 2017 / 6
    Journal Article
  • 2 “On Incorporating Reasoning Time into Epistemic Logic”. In Yang, Syraya Chin-Mu, Lee, Kok Yong, & Ono, Hiroakira (eds.), Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016, Vol. 3 of Logic in Asia: Studia Logica Library.
    Ren-June Wang
    2017 / 12
    Refereed Book Chapters
  • 3 “Non-circular Proofs and Proof Realization in Modal Logic”
    Ren-June Wang
    Annals of Pure and Applied Logic 2014 / 8
    Journal Article
  • 4 “Temporalizing Modal Epistemic Logic”. In Artemov, Sergei, & Nerode, Anil (eds.), Logical Foundations of Computer Science: International Symposium, Proceedings of LFCS 2013, Vol. 7734 of Lecture Notes in Computer Science.
    Ren-June Wang
    2013 / 1
    Refereed Book Chapters
  • 5 “Knowledge, Time, and the Problem of Logical Omniscience”
    Ren-June Wang
    Fundamenta Informaticae 2011 / 4
    Journal Article
  • 6 “Knowledge, Time, and Logical Omniscience”. In Ono, Hiroakira, Kanazawa, Makoto, & Queiroz, Ruy de (eds.), Logic, Language, Information and Computation, Proceedings of WoLLIC 2009, Vol. 5514 of Lecture Notes in Artificial Intelligence.
    Ren-June Wang
    2009 / 6
    Refereed Book Chapters
1

Projects

Print-friendly
Teacher's name Research Units Year Project title Project position Commissioning unit Implementation period
Wang, Ren June Department and Institute of Philosophy 2024 可逆可合併徑模型的無切演算研究 PI 國家科學及技術委員會 2024/08/01-2025/07/31
Wang, Ren June Department and Institute of Philosophy 2023 甘岑式序式演算之證明系統的結構性質研究 PI 國家科學及技術委員會 2023/08/01-2025/07/31
Wang, Ren June Department and Institute of Philosophy 2022 模態邏輯研究：語義及證明系統(3/3) PI 國科會 2022/08/01-2024/07/31
Wang, Ren June Department and Institute of Philosophy 2021 110大專生計畫-何謂好的邏輯連結詞--「和諧」性質之探究 PI 國科會 2021/07/01-2022/02/28
Wang, Ren June Department and Institute of Philosophy 2021 模態邏輯研究：語義及證明系統(2/3) PI 國科會 2021/08/01-2024/07/31
Wang, Ren June Department and Institute of Philosophy 2021 博士級研究人員楊濟鶴--模態邏輯研究：語義及證明系統 PI 國科會 2021/01/01-2021/07/31
Wang, Ren June Department and Institute of Philosophy 2020 模態邏輯研究：語義及證明系統(1/3) PI 國科會 2020/08/01-2024/07/31
Wang, Ren June Department and Institute of Philosophy 2019 顯式知識邏輯研究（3/3） PI 國科會 2019/08/01-2020/07/31
Wang, Ren June Department and Institute of Philosophy 2018 顯式知識邏輯研究（2/3） PI 國科會 2018/08/01-2020/07/31
Wang, Ren June Department and Institute of Philosophy 2017 顯式知識邏輯研究（1/3） PI 國科會 2017/08/01-2020/07/31
Wang, Ren June Department and Institute of Philosophy 2015 時間化模態知識邏輯研究(3/3) PI 國科會 2015/05/01-2016/07/31
Wang, Ren June Department and Institute of Philosophy 2014 時間化模態知識邏輯研究(2/3) PI 國科會 2014/05/01-2016/07/31
Wang, Ren June Department and Institute of Philosophy 2013 時間化模態知識邏輯研究(1/3) PI 國科會 2013/05/01-2016/07/31
Source：Chung Cheng Academic Achievements Information System