文章基本信息

标题：Inclusion Logic and Fixed Point Logic
本地全文：下载
作者：Pietro Galliani ; Lauri Hella
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2013
卷号：23
页码：281-295
DOI：10.4230/LIPIcs.CSL.2013.281
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We investigate the properties of Inclusion Logic, that is, First Order Logic with Team Semantics extended with inclusion dependencies. We prove that Inclusion Logic is equivalent to Greatest Fixed Point Logic, and we prove that all union-closed first-order definable properties of relations are definable in it. We also provide an Ehrenfeucht-Fraïssé game for Inclusion Logic, and give an example illustrating its use.
关键词：Dependence Logic; Team Semantics; Fixpoint Logic; Inclusion