سلسله نشست‌هاي گروه منطق دانشگاه شريف (WSLP) برگزار مي‌كند:

منطق شهودي معرفت (يا منطق معرفت از ديدگاه منطق شهودي)

دكتر رسول رمضانيان

دانشگاه شريف، دانشكده رياضي، اتاق ۴۰۳ يكشنبه ۱۵ بهمن ۹۱ ساعت ۱۷ تا ۱۸:۳۰

با سپاس از خانم رمضاني بابت اطلاع رساني

The 58th Session of Weekly Seminars on Mathematical Logic and Philosophy of Mathematics 1

An Intuitionistic Epistemic Public Announcement Logic

Rasool Ramezanian2

Department of mathematical sciences, Sharif University of Technology

Sunday, February 3, 2013 (Bahman 15, 1391)

Sharif University of Technology, Department of Mathematical Sciences Room No. 403, 17 -18:30

Abstract: We argue that what an Epistemic logic could be from intuitionistic point of view. Then we    propose an intuitionistic Epistemic Logic with public announcement operator, denoted by IEPAL, and prove soundness and com- pleteness theorems of the logic. To declare the signi cance of our proposed logic, we introduce a solution for the well-known surprise exam paradox regard-ing IEPAL.

58. An intuitionistic Epistemic Public Announcement Logic، By Rasool Ramezanian; 

Thursday, February 03, 2013 (Bahman 15, 1391).