Items where Author is "ten Cate, Balder"

Report

PP-2009-26: Gheerbrant, Amélie and ten Cate, Balder (2009) Craig Interpolation for Linear Temporal Languages. [Report]

PP-2008-44: Gheerbrant, Amélie and ten Cate, Balder (2008) Complete Axiomatizations of $MSO$, $FO(TC^1)$, $FO(LFP^1)$ on Finite Trees. [Report]

PP-2007-39: ten Cate, Balder and Litak, Tadeusz (2007) The importance of being discrete. [Report]

PP-2005-02: ten Cate, Balder and Franceschet, Massimo (2005) On the complexity of hybrid logics with binders. [Report]

PP-2004-32: ten Cate, Balder and Franceschet, Massimo (2004) Guarded fragments with constants. [Report]

PP-2004-27: ten Cate, Balder (2004) The first order formulas preserved under ultrafilter extensions are not recursively enumerable. [Report]

PP-2004-15: van Benthem, Johan and Bezhanishvili, Guram and ten Cate, Balder and Sarenac, Darko (2004) Modal Logics for Products of Topologies. [Report]

PP-2004-06: Bezhanishvili, Nick and ten Cate, Balder (2004) Transfer results for hybrid logic -- Part I: the case without satisfaction operators. [Report]

X-2022-01: ten Cate, Balder (2022) Lyndon Interpolation for Modal Logic via Type Elimination Sequences. [Report]