Henkin Completeness of Some Instantial Neighbourhood Logics

Abstract

In this note the Henkin-Style construction of a canonical model for Instantial Neighbourhood Logic is addressed. This answers an open question raised in van Benthem at al.'s 2017 article which introduced these interesting neighbourhood logics. After discussing the construction for that logic, Henkin-style constructions are undertaken for the unary fragment of Instantial Neighbourhood logic because, as is noted in the text, the construction offered for the canonical models for full INL would extend beyond that fragment.