论文标题
带有横向关系的凹槽碎片
The Fluted Fragment with Transitive Relations
论文作者
论文摘要
我们研究了随着传递关系扩展的凹槽碎片的满足性问题。逻辑享有有限模型属性时，只有一个及一个及其可用的关系，并且当允许均等或第二个及2个传递关系时，有限模型属性就会丢失。我们表明，具有一个及其及其平等的凹槽碎片的满足性问题仍然可决定。另一方面，我们表明，在存在三个传递关系（或两个及两个及2个及时关系和平等）的情况下，逻辑的两变量片段已经无法确定。
We study the satisfiability problem for the fluted fragment extended with transitive relations. The logic enjoys the finite model property when only one transitive relation is available and the finite model property is lost when additionally either equality or a second transitive relation is allowed. We show that the satisfiability problem for the fluted fragment with one transitive relation and equality remains decidable. On the other hand we show that the satisfiability problem is undecidable already for the two-variable fragment of the logic in the presence of three transitive relations (or two transitive relations and equality).
