Positive Instantial Neighbourhood logic: Typed Completeness and Admissible-Open Representation

Litan Kumar Das, Anupam Khanra, Sujit Kumar Sardar

Instantial neighbourhood logic is a modal language for neighbourhood frames in which formulas can express information about the kinds of worlds occurring inside a neighbourhood of…