4 papers
Fitting and Learning Basis-Restricted Propositional Formulas
Balder ten Cate
For a finite set of Boolean functions, we consider the class of propositional formulas built using the functions in as connectives. We determine, for each possible choice o…
Characterizing LTL Formulas by Examples (full version)
Balder ten Cate, Dana Fisman, Roi Ohayon +1
We investigate the extent to which Linear Temporal Logic (LTL) formulas can be uniquely characterized by a finite set of labeled examples. We consider different types of examples,…
The Size of Interpolants in Modal Logics
Balder ten Cate, Louwe Kuijer, Frank Wolter
We start a systematic investigation of the size of Craig interpolants, uniform interpolants, and strongest implicates for (quasi-)normal modal logics. Our main upper bound states t…
Craig Interpolation for Decidable First-Order Fragments
Balder ten Cate, Jesse Comer
We show that the guarded-negation fragment is, in a precise sense, the smallest extension of the guarded fragment with Craig interpolation. In contrast, we show that full first-ord…