Towards a model theory of ordered logics: expressivity and interpolation

DOI10.4230/LIPICS.MFCS.2022.15MaRDI QIDQ6584007zbMATH OpenFDO

Authors Bartosz Bednarczyk

Publication date 6 August 2024

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2022.15

zbMATH Keywords

Craig interpolation propertyexpressive powerfluted fragmentguarded fragmentmodel checkingmodel theoryordered fragments

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(7)

• Craig interpolation for decidable first-order fragments
• The adjacent fragment and Quine's limits of decision
• Craig interpolation for decidable first-order fragments
• On homogeneous models of fluted languages
• The niceness of the ordered fragment of first-order logic
• Saving Craig in the fluted fragment
• Complexity and expressivity of the uniform fluted fragment

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)