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 logics; Craig interpolation property; Kripke style semantics; normal extensions of the Gödel-Loeb provability logic
03B45: Modal logic (including the logic of norms)
Cites Work