|
Workshop on Logic, Philosophy, and Computation
2012,10,19
Preliminary Program
| 8:30-9:00 |
Registration |
| 9:00-10:20 |
Keynote Speech |
| |
Justification Logic—Explicit Epistemic Logic
Melvin Fitting, Departments of Computer Science, Philosophy, and Mathematics, CUNY Graduate Center, USA
2012 Herbrand Award winner |
| 10:20-10:40 |
Coffee break |
| 10:40-12:00 |
Session 1 |
| |
A Defence of the Knowledge Norm of Assertion: From a Model-theoretical Perspective
Syraya Chin-Mu Yang, Department of Philosophy, National Taiwan University, Taiwan
Game Interaction Logic
Farn Wang, Department of Electrical Engineering, National Taiwan University, Taiwan |
| 12:00-13:30 |
Lunch |
| 13:30-14:30 |
Invited Guest Talk |
| |
Beautiful Games You Cannot Stop Playing
Sven Schewe, Department of Computer Science, University of Liverpool, UK |
| 14:30-15:50 |
Session 2 |
| |
Temporalizing Modal Epistemic Logic
Ren-June Wang, Department of Philosophy, National Chung Cheng University, Taiwan
Tool Support for Games, Omega-Automata, and Temporal Logics
Yih-Kuen Tsay, Department of Information Management, National Taiwan University, Taiwan
|
| 15:50-16:10 |
Coffee break |
| 16:10-17:30 |
Session 3 |
| |
Belief Revision and Information Economy Principle
Hao-Cheng Fu, Department of Philosophy, Chinese Culture University, Taiwan
TBA
I-Jen Chiang, Graduate Institute of Biomedical Informatics, Taipei Medical University, Taiwan |
|