31 citations · 101 across the 14 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014
Boolean Dependence Logic and Partially-Ordered Connectives
Johannes Ebbing, Lauri Hella, Peter Lohmann +1
We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,α), where αis a Boolean v…
math.LO2014★ 5 cited
One-dimensional fragment of first-order logic
Lauri Hella, Antti Kuusisto
We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (…