Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

作者：

Highlights：

• We study Independence Friendly logic extended with Hodge's flattening operator.

• We prove that this logic corresponds to a weak syntactic fragment of second order.

• We prove that this logic is equivalent to the logic of Henkin quantifiers.

• We argue that Hodge's notion of negation is adequate.

摘要

•We study Independence Friendly logic extended with Hodge's flattening operator.•We prove that this logic corresponds to a weak syntactic fragment of second order.•We prove that this logic is equivalent to the logic of Henkin quantifiers.•We argue that Hodge's notion of negation is adequate.

论文关键词：Imperfect information logic,Independence friendly logic,Expressive power,Second order logic,Flattening operator

论文评审过程：Received 7 May 2012, Revised 31 July 2013, Accepted 3 February 2014, Available online 12 April 2014.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.04.004