Semantic interpolation

DOI10.3166/JANCL.20.345-371MaRDI QIDQ2901200zbMATH OpenOpenAlexFDO

Authors Dov Gabbay, K. Schlechta

Publication date 17 July 2012

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0906.4082

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10)

Abstract: We treat interpolation for various logics.

Recommendations

• Foundations of Software Science and Computation Structures
• A semantic approach to interpolation
• scientific article; zbMATH DE number 1850736
• Inferentializing semantics
• Semantics
• scientific article; zbMATH DE number 1292570
• scientific article; zbMATH DE number 2150344
• scientific article; zbMATH DE number 549970
• Semantic spaces

Cites work

• Circumscription - a form of non-monotonic reasoning
• Distance semantics for belief revision
• Logical tools for handling change in agent-based systems
• On the logic of theory change: Partial meet contraction and revision functions
• Parallel interpolation, splitting, and relevance in belief change
• Repairing the interpolation theorem in quantified modal logic
• Roadmap for preferential logics
• SIZE AND LOGIC
• Some Results on Classical Preferential Models
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(4)

• scientific article; zbMATH DE number 1850736 (Why is no real title available?)
• Conditionals and modularity in general logics
• Experiments with semantic paramodulation
• scientific article; zbMATH DE number 1931663 (Why is no real title available?)

This page was built for publication: Semantic interpolation

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