Ren-June Wang

发表

On Incorporating Reasoning Time into Epistemic Logic

Ren-June Wang, 2017 .

Knowledge, Time, and the Problem of Logical Omniscience

Ren-June Wang, Ren-June Wang, 2011, Fundam. Informaticae.

Non-circular proofs and proof realization in modal logic

Ren-June Wang, Ren-June Wang, 2014, Ann. Pure Appl. Log..

Timed modal epistemic logic

Ren-June Wang, Ren-June Wang, 2012 .

TR-2009003: On Proof Realization on Modal Logic

Ren-June Wang, 2009 .

Temporalizing Modal Epistemic Logic

Ren-June Wang, Ren-June Wang, 2013, LFCS.

Knowledge, Time, and Logical Omniscience

Ren-June Wang, 2009, WoLLIC.