Scopus
Book Chapter
1
On Incorporating Reasoning Time into Epistemic Logic
Wang R.J.
Logic in Asia: Studia Logica Library
2017 , 213-231
Article
2
Non-circular proofs and proof realization in modal logic
Wang R.J.
Annals of Pure and Applied Logic
2014, 165 (7-8) , 1318-1338
Conference Paper
3
Temporalizing modal epistemic logic
Wang R.J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013, 7734 LNCS , 359-371
Conference Paper
4
Knowledge, time, and the problem of logical omniscience
Wang R.J.
Fundamenta Informaticae
2011, 106 (2-4) , 321-338
Conference Paper
5
Knowledge, time, and logical omniscience
Wang R.J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009, 5514 LNAI , 394-407
Article
6
Commuting traces of multiadditive mappings
Lee P.H., Wong T.L., Lin J.S., Wang R.J.
Journal of Algebra
1997, 193 (2) , 709-723
共 6 筆資料，第 1/1 頁，每頁顯示
筆，到第 頁
學術著作
1
“Interpreting the Plus Sign in Justification Logic as the Union of Sets of Justifications”
Ren-June Wang
Studies in Logic
2017 年
6 月
Studies in Logic,Vol.10, No.2,pp.81-98
期刊論文
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 月
pp.213-231
專書論文
3
“Non-circular Proofs and Proof Realization in Modal Logic”
Ren-June Wang
Annals of Pure and Applied Logic
2014 年
8 月
Annals of Pure and Applied Logic,Vol.165, No.7-8,pp.1318-1338
期刊論文
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 月
pp.359-371
專書論文
5
“Knowledge, Time, and the Problem of Logical Omniscience”
Ren-June Wang
Fundamenta Informaticae
2011 年
4 月
Fundamenta Informaticae,Vol.106, No.2-4,pp.321-338
期刊論文
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 月
pp.394-407
專書論文
共 6 筆資料，第 1/1 頁，每頁顯示
筆，到第 頁