Pregled bibliografske jedinice broj: 709216
A generalization of modal frame definability
A generalization of modal frame definability // Pristine Perspectives on Logic, Language, and Computation. ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers / Colinet, Margot ; Katrenko, Sophia ; Rendsvig, Rasmus K. (ur.).
Berlin : Heidelberg: Springer, 2014. str. 142-153
CROSBI ID: 709216 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A generalization of modal frame definability
Autori
Perkov, Tin
Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni
Knjiga
Pristine Perspectives on Logic, Language, and Computation. ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers
Urednik/ci
Colinet, Margot ; Katrenko, Sophia ; Rendsvig, Rasmus K.
Izdavač
Springer
Grad
Berlin : Heidelberg
Godina
2014
Raspon stranica
142-153
ISBN
978-3-662-44115-2
Ključne riječi
modal logic, model theory, modal definability
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
Napomena
Predavanje na European Summer School in Logic, Language and Information (ESSLLI 2012), Opole, Poljska, 6-17.08.2012.
