RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2007 Volume 46, Number 1, Pages 103–119 (Mi al12)
This article is cited in 3 papers

Automatic recognition of interpolation in modal calculi

P. A. Schreiner

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics $S5$ and $S4.3$.

UDC: 510.64

Received: 21.07.2006
Revised: 06.12.2006


 English version: Algebra and Logic, 2007, 46:1, 62–70

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025