@article {IOPORT.06083584,
    author       = {\v{C}a\v{c}i\'c, Vedran and Vukovi\'c, Mladen},
    title        = {A note on normal forms for the closed fragment of system IL.},
    year         = {2012},
    journal      = {Mathematical Communications},
    volume       = {17},
    number       = {1},
    issn         = {1331-0623},
    pages        = {195-204},
    publisher    = {Croatian Mathematical Society, Division Osijek, Osijek; Faculty of Electrical Engineering, University of Osijek, Osijek},
    abstract     = {The paper is devoted to the interpretability logic IL, in particular to the open problem of the normal form for the closed fragment of IL. Some cases where the modal operator $\vartriangleright$ can be eliminated are given, and a formula from which it is impossible to eliminate it is indicated.},
    reviewer     = {Roman Murawski (Pozna\'n)},
    identifier   = {06083584},
}