关于函数依赖关系的认知逻辑.pdfVIP

StudiesinLogic,Vol.9, No. 4 (2016): 55–84 PII:1674-3202(2016)-04-0055-30 EpistemicLogicwith Functional Dependency * Operator YifengDing GroupinLogicand the Methodology of Science, UC Berkeley yf.ding@berkeley.edu Abstract. Epistemiclogicwithnon-standardknowledgeoperators,especiallythe“knowing- value” operator, has recently gathered much attention. With the “knowing-value” operator, we can express knowledge of individual variables, but not of the relations between them in general. In this paper, we propose a new operator to express knowledge of the functional dependencies between variables. The semantics of this operator uses a function domain which imposes a constraint on what counts as a functional dependency relation. By adjusting this function domain, different interesting logics arise, and in this paper we axiomatize three such logics in a single agent setting. Then we show how these three logics can be unified by allowing the function domain to vary relative to different agents and possible worlds. A multiagent axiomatization is given inthiscase. 1 Introduction Dere knowledgeoringeneralnon-standardknowledgeinepistemiclogicisat- tracting continuing attention. This line of research started from the very beginning of epistemic logic: Hintikka discussed a “knowing-who” operator in [4], and Plaza a “knowing-value” operator in [5]. However, it is the recent effort in providing formalsemanticsandaxiomatizationsofthosenon-standardknowledgeoperators,as outlined in [8], that layed a solid foundation for further investigation. Among all the non-standard knowledge operators axiomatized so far, the “knowing-value”, or equivalentlythe“knowing-what”operator,hasreceivedmostattention,partlydue