1 research outputs found

    An analogue of Bull's theorem for Hybrid Logic

    No full text
    corecore