Hi All,
You are invited to attend this continuing, sporadic, informal and relaxing student seminar. Please let me know if you can bring a snack or drinks - reimbursement is available courtesy of the Canadian Mathematical Society. Also, let me know if you can organize the next one in a couple of weeks (or three or four...).
Mohammad is a student in our department.
Modal Logic and Reasoning About Knowledge by Mohammad Hajiabadi.
Abstract: In this presentation, we will talk about modal logic and change of
information. Specifically, we will look at “Dynamic Epistemic Logic” and explore some interesting problems concerning certainty of knowledge and common knowledge that can be modeled in this setting. When developing some logic, the first question that arises is how we can present a “sound” and “complete” logical system ( deduction system) for it . We will formally define these terms in our talk and will consider some Hilbert – Style proof system for propositional modal logics. Finally, we will review the differences between “knowledge” and “Belief” and will see how we can axiomatize these notions in the logic.
Cheers,
Alejandro Erickson
No comments:
Post a Comment