Interpolation and Beth definability in default logics

DOI10.1007/978-3-030-19570-0_44MaRDI QIDQ2296753zbMATH OpenOpenAlexFDO

Authors Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_44

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 6302918
• scientific article; zbMATH DE number 847940
• Interpolation and Definability in Extensions of the Minimal Logic
• scientific article; zbMATH DE number 1931663
• Defaults as restrictions on classical Hilbert-style proofs

Cited in

(6)

• A tableaux calculus for default intuitionistic logic
• An algebraic approach for action based default reasoning
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• scientific article; zbMATH DE number 6302918 (Why is no real title available?)
• \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics
• Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic

This page was built for publication: Interpolation and Beth definability in default logics

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