Automatic recognition of interpolation in modal calculi

DOI10.1007/s10469-007-0007-1zbMath1164.03301OpenAlexW2034080069MaRDI QIDQ3546074

Pavel A. Shrajner

Publication date: 18 December 2008

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-007-0007-1

zbMATH Keywords

modal calculiCraig's interpolation property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Interpolation, preservation, definability (03C40)

Related Items (2)

Weak interpolation in extensions of the logics S4 and K4 ⋮ Interpolation in weakly transitive modal logics

This page was built for publication: Automatic recognition of interpolation in modal calculi