On modal definability of Horn formulas (2011)

by S Kikot
Venue:In Topology, Algebra and Categories in Logic