Minimal Revision and Classical Kripke Models–First Results and Tableau System

Speaker： Jonas De Vuyst, Vrije Universiteit Brussel, Belgium
时间：3月9日下午14:00-17:00
地点：新斋328会议室