Uniform Lyndon interpolation for basic non-normal modal and conditional logics

DOI10.1093/LOGCOM/EXAE057MaRDI QIDQ6923524zbMATH OpenFDO

Authors Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

Publication date 30 September 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE057

zbMATH Keywords

conditional logicsCraig interpolationnon-normal modal logicsuniform interpolationuniform Lyndon interpolation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A sequent calculus and a theorem prover for standard conditional logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Cut elimination in coalgebraic logics
• Generic modal cut elimination applied to conditional logics
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 219032 (Why is no real title available?)
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• Interpolation properties for provability logics GL and GLP
• Neighborhood semantics for modal logic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Optimal tableaux for conditional logics with cautious monotonicity
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Sequent Systems for Lewis’ Conditional Logics
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• The logic of exact covers: completeness and uniform interpolation
• Undefinability of propositional quantifiers in the modal system S4
• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation and the existence of sequent calculi
• Uniform interpolation for monotone modal logic
• Uniform interpolation in coalgebraic modal logic
• Uniform Lyndon interpolation property in propositional modal logics

Cited in

(1)

• Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle

This page was built for publication: Uniform Lyndon interpolation for basic non-normal modal and conditional logics

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