报告人：林凯杨

题目：Discrete linear temporal logic with Knowing-value operator

时间：2021/3/23 15:10-18:00

地点：二教416

摘要：In epistemic logic we are not only interested in the propositional knowledge expressed by “knowing that” operators, but also care about other types of knowledge used in natural language. Plaza proposed the “knowing value”operators and gave the complete axiomatization for the logic of knowledge with nonrigid designators. Moreover, Halpern holds that, when analyzing a system in terms of knowledge, not only is the current state of knowledge of the agents in the system relevant, but also how that state of knowledge changes over time. So we introduce temporal logic operators ‘next’ and ‘until’ to extend Plaza’s system. The completeness proof is highly non-trivial and we referred to the work of Wang and Helpern.