activity
20212023
most citedFinite Model Property and Bisimulation for LFD

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.LO2022

Characterising Modal Formulas with Examples

Balder ten Cate, Raoul Koudijs

We initiate the study of finite characterizations and exact learnability of modal languages. A finite characterization of a modal formula w.r.t. a set of formulas is a finite set o…

cs.LO2022

Local Dependence and Guarding

Johan van Benthem, Balder ten Cate, Raoul Koudijs

We study LFD, a base logic of functional dependence introduced by Baltag and van Benthem (2021) and its connections with the guarded fragment GF of first-order logic. Like other lo…