Journal paper (refereed)
Wang, Ren-June (2017, Jun). “Interpreting the Plus Sign in Justification Logic as the Union of Sets of Justifications”. Studies in Logic 10(2): 81-98.
Wang, Ren-June (2014, Aug). “Non-circular Proofs and Proof Realization in Modal Logic”. Annals of Pure and Applied Logic 165(7-8): 1318-1338.
Wang, Ren-June (2011, Apr). “Knowledge, Time, and the Problem of Logical Omniscience”. Fundamenta Informaticae 106(2-4): 321-338.
Pjek-Hwee Lee; Tsai-Lien Wong; Jer-Shyong Lin; Ren-June Wang (1997, Jul). “Commuting Traces of Multiadditive Mappings”. Journal of Algebra 193: 709-723.
Wang, Ren-June (2014, Aug). “Non-circular Proofs and Proof Realization in Modal Logic”. Annals of Pure and Applied Logic 165(7-8): 1318-1338.
Wang, Ren-June (2011, Apr). “Knowledge, Time, and the Problem of Logical Omniscience”. Fundamenta Informaticae 106(2-4): 321-338.
Pjek-Hwee Lee; Tsai-Lien Wong; Jer-Shyong Lin; Ren-June Wang (1997, Jul). “Commuting Traces of Multiadditive Mappings”. Journal of Algebra 193: 709-723.
Book article (refereed)
Wang, Ren-June (2017, Dec). “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. Singapore: Springer Verlag, pp. 213-231.
Wang, Ren-June (2013, Jan). “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. Berlin Heidelberg: Springer-Verlag, pp. 359-371.
Wang, Ren-June (2009, Jun). “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. Berlin Heidelberg: Springer-Verlag, pp. 394-407.
Wang, Ren-June (2013, Jan). “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. Berlin Heidelberg: Springer-Verlag, pp. 359-371.
Wang, Ren-June (2009, Jun). “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. Berlin Heidelberg: Springer-Verlag, pp. 394-407.
Conference paper
Wang, Ren-June (2022, Dec). “Logic of proofs in Gentzen style”. Annual conference of Taiwan Philosophical Association.
Others
Wang, Ren-June (2011). Timed Modal Epistemic Logic. Ph.D. Dissertation, The Graduate Center, CUNY, USA.
Wang, Ren-June (2001).The Third Condition. M.A. Thesis, National Chung Cheng University, Taiwan.
Wang, Ren-June (1996). Commuting Traces of Multiadditive Mappings. M.S. Thesis, National Tsing Hua University, Taiwan.
Wang, Ren-June (2001).The Third Condition. M.A. Thesis, National Chung Cheng University, Taiwan.
Wang, Ren-June (1996). Commuting Traces of Multiadditive Mappings. M.S. Thesis, National Tsing Hua University, Taiwan.