External Links

    Journal: Journal of Logic and Computation

    Volume 32, Issue 5

    853 -- 870Mikhail N. Rybakov, Dmitry Shkatov. Complexity of finite-variable fragments of products with non-transitive modal logics
    871 -- 901Luciano Caroprese, Ester Zumpano. Semantic data management in P2P systems driven by self-esteem
    902 -- 941Emanuel Kieronski, Antti Kuusisto. One-dimensional fragment over words and trees
    942 -- 975Daniel Gaina, Tomasz Kowalski. Lindström's theorem, both syntax and semantics free
    976 -- 995Yuya Okawa. Countably many sublogics of the interpretability logic IL having fixed point properties
    996 -- 1013Zofia Kostrzycka. Projective unification in weakly transitive and weakly symmetric modal logics
    runs on