Projective Beth s Properties in Infinite Slice Extensions of the Modal Logic K4

Larisa Maksimova. Projective Beth s Properties in Infinite Slice Extensions of the Modal Logic K4. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev, editors, Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000. pages 349-363, World Scientific, 2000.

Abstract

Abstract is missing.