Some characterization and preservation theorems in modal logic (CROSBI ID 189673)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Perkov, Tin ; Vuković, Mladen
engleski
Some characterization and preservation theorems in modal logic
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.
modal logic ; definability
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
163 (12)
2012.
1928-1939
objavljeno
0168-0072
1873-2461
10.1016/j.apal.2012.07.001