1 citations · 2 across the 6 of their papers we have counts for
6 papers
Learning Horn Envelopes via Queries from Large Language Models
Sophie Blum, Raoul Koudijs, Ana Ozaki +1
We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In th…
Characterising Modal Formulas with Examples
Balder ten Cate, Raoul Koudijs
We study the existence of finite characterisations for modal formulas. A finite characterisation of a modal formula is a finite collection of positive and negative examples tha…
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…
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…
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…
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.…