This Thursday 12 of November at 15:00 hrs we will have our next seminar’s sessions. This time, Ondrej Majer, from the Institute of Philosophy of the Academy of Sciences of the Czech Republic, will talk about Relevant Epistemic Logic (abstract below). After the talk, further discussions about the topic and other dynamic business can take place with some drinks!
The meeting will take place in room A1.06 at Science Park 904.
Standard epistemic logics based on S4/5 have been often criticised to represent too ideal agents (logical omniscience, positive and/or negative introspection etc.) We propose much weaker epistemic logic based on the relevant logic R, which we extend with an distinctive epistemic modality K. The intended interpretation is that KA holds (relative to a given information state s) if there is a resource available at s, confirming A.