Browsing Department of Informatics by Author "Artale, Alessandro"
Now showing items 1-1 of 1
-
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
Artale, Alessandro; Jung, Jean Christoph; Mazzullo, Andrea; Ozaki, Ana; Wolter, Frank (Journal article; Peer reviewed, 2023)The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explicit definition exists iff a formula stating ...