Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects

Willem Conradie, Valentin Goranko, Dimiter Vakarelov. Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. In Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing, editors, Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004. pages 17-51, King s College Publications, 2004. [doi]

Abstract

Abstract is missing.