Inclusion Logic and Fixed Point Logic

Pietro Galliani, Lauri Hella. Inclusion Logic and Fixed Point Logic. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 281-295, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Abstract

Abstract is missing.