Naslov
Some characterization and preservation theorems in modal logic

Autori
Perkov, Tin ; Vuković, Mladen

Izvornik
Annals of pure and applied logic (0168-0072) 163 (2012), 12; 1928-1939

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
modal logic ; definability

Sažetak
A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper the notion of modal definability is generalized in the following way: a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. By generalizing this approach, various types of modal definability on the level of Kripke models are considered and characterization theorems in the usual form in terms of algebraic closure conditions are given. As some consequences of these, various preservation results are presented. Also, some characterizations are strenghtened by replacing closure under ultraproducts with closure under ultrapowers.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA