BIROn - Birkbeck Institutional Research Online

    Semantic characterization of Kracht formulas

    Kikot, Stanislav (2010) Semantic characterization of Kracht formulas. In: Beklemishev, L.D. and Goranko, V. and Shehtman, V. (eds.) Advances in Modal Logic. London, UK: College Publications, pp. 218-234. ISBN 9781848900134.

    Full text not available from this repository.


    Kracht formulas are first-order correspondents of modal Sahlqvist formulas. In this paper we present a model theoretic characterization of Kracht formulas similar to Van Benthem's theorem saying that a rst-order formula is equivalent to a modal formula is it is invariant under bisimulation. Our characterization yields a method to prove that a given first-order formula is not equivalent to any Kracht formula. In particular, we prove that the first-order formula, expressing the `cubic property' of a 3-dimensional modal frame does not have a Kracht equivalent.


    Item Type: Book Section
    Keyword(s) / Subject(s): Kracht formulas, semantic characterization, Kracht-simulation
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 30 May 2013 08:12
    Last Modified: 09 Aug 2023 12:33


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item