1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 1 cited
Finite Model Property and Bisimulation for LFD
Raoul Koudijs
Recently, Baltag and van Benthem introduced a decidable logic of functional dependence (LFD) that extends the logic of Cylindrical Relativized Set Algebras (CRS) with atomic local…
cs.LO2021
Finite Model Property and Bisimulation for LFD
Raoul Koudijs
Recently, Baltag and van Benthem arXiv:2103.14946 [cs.LO] introduced a new decidable logic of functional dependence (LFD) with local dependence formulas and dependence quantifiers.…