TY - GEN T1 - Knowledge, proof and dynamics :The Fourth Asian Workshop on Philosophical Logic / DA - 2020. CY - Singapore : AU - Liu, Fenrong. AU - Ono, Hiroakira. AU - Yu, Junhua. CN - BC5 PB - Springer, PP - Singapore : PY - 2020. ID - 930466 KW - Logic SN - 9789811522215 SN - 9811522219 TI - Knowledge, proof and dynamics :The Fourth Asian Workshop on Philosophical Logic / LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-15-2221-5 UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-15-2221-5 ER -