A generalization of modal frame definability (CROSBI ID 51723)
Prilog u knjizi | izvorni znanstveni rad
Podaci o odgovornosti
Perkov, Tin
engleski
A generalization of modal frame definability
A class of Kripke frames is called modally definable if there is a set of modal formulas such that the class consists exactly of frames on which every formula from that set is valid, i.e. globally true under any valuation. Here, existential definability of Kripke frame classes is defined analogously, by demanding that each formula from a defining set is satisfiable under any valuation. The notion of modal definability is then generalized by combining these two. Model theoretic characterizations of these types of definability are given.
modal logic, model theory, modal definability
Predavanje na European Summer School in Logic, Language and Information (ESSLLI 2012), Opole, Poljska, 6-17.08.2012.
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
142-153.
objavljeno
Podaci o knjizi
Pristine Perspectives on Logic, Language, and Computation. ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers
Colinet, Margot ; Katrenko, Sophia ; Rendsvig, Rasmus K.
Berlin : Heidelberg: Springer
2014.
978-3-662-44115-2