Towards a model theory of ordered logics: expressivity and interpolation

DOI10.4230/LIPICS.MFCS.2022.15MaRDI QIDQ6584007

Author name not available (Why is that?), Bartosz Bednarczyk

Publication date: 6 August 2024

zbMATH Keywords

model theorymodel checkingguarded fragmentexpressive powerCraig interpolation propertyfluted fragmentordered fragments

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Craig interpolation for decidable first-order fragments

This page was built for publication: Towards a model theory of ordered logics: expressivity and interpolation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584007)