Abstract
This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal Horn formulas as well as a preservation result for modal universal Horn formulas.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sturm, H. Modal Horn Classes. Studia Logica 64, 301–313 (2000). https://doi.org/10.1023/A:1005252908722
Issue Date:
DOI: https://doi.org/10.1023/A:1005252908722