Interpolation in infinitely layered extensions of provability logic
From MaRDI portal
Publication:584241
DOI10.1007/BF01982275zbMath0693.03009MaRDI QIDQ584241
Publication date: 1988
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187444
propositional modal logicsCraig interpolation propertyKripke style semanticsnormal extensions of the Gödel-Loeb provability logic
Cites Work