External Links

    Journal: Journal of Logic and Computation

    Volume 30, Issue 7

    1305 -- 1329Mikhail N. Rybakov, Dmitry Shkatov. Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
    1331 -- 1355Nick Bezhanishvili, Tim Henke. A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem
    1357 -- 1376Theofanis I. Aravanis. On uniform belief revision
    1377 -- 1399Daniel Gaina, Tomasz Kowalski. Fraïssé-Hintikka theorem in institutions
    1401 -- 1423Ivan Chajda, Helmut Länger. Sublattices and Δ-blocks of orthomodular posets
    1425 -- 1428Viktor Chernov. Locally constant constructive functions and connectedness of intervals
    runs on