Preservation of Craig interpolation by the product of matrix logics

DOI10.1016/j.jal.2013.06.001zbMath1284.03214OpenAlexW2041998373MaRDI QIDQ2446552

Amílcar Sernadas, Cristina Sernadas, João Rasga

Publication date: 17 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.06.001

zbMATH Keywords

interpolationmatrix semanticsmatrix-logic product

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Combined logics (03B62)

Related Items (3)

Craig interpolation in the presence of unreliable connectives ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Event-based time-stamped claim logic

Uses Software

• FOCI

Cites Work

• Failure of interpolation in relevant logics
• Proof methods for modal and intuitionistic logics
• Some failures of interpolation in modal logic
• An interpolating theorem prover
• Interpolation in practical formal development
• Conditionals and Modularity in General Logics
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Properties of independently axiomatizable bimodal logics
• On meet-combination of logics
• Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
• Preservation of Interpolation Features by Fibring
• Interpolant-Based Transition Relation Approximation
• Failure of interpolation in combined modal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Preservation of Craig interpolation by the product of matrix logics