Naslov
Towards a generalization of modal definability

Autori
Perkov, Tin

Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni

Knjiga
New Directions in Logic, Language and Computation. ESSLLI 2010 and ESSLLI 2011 Student Sessions : Selected Papers

Urednik/ci
Lassiter, Daniel ; Slavkovik, Marija

Izdavač
Springer

Grad
Berlin : Heidelberg

Godina
2012

Raspon stranica
130-139

ISBN
978-3-642-31466-7

Ključne riječi
modal logic, model theory, modal definability

Sažetak
Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models is usually called modally definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is globally true, i. e. universally quantified standard translations of these formulas to the corresponding first order language are true. Here, the notion of definability is extended to existentially quantified translations of modal formulas – a class is called modally ∃-definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is satisfiable. A characterization result is given in usual form, in terms of closure conditions on such classes of models.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

Napomena
Predavanje sa skupa European Summer School in Logic, Language and Information ESSLLI 2011, održanog u Ljubljani, Slovenija, 01-12.08.2011.g.

POVEZANOST RADA