ByNobleID
    Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic | NobleID