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.
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
Advanced Algebra and Logic
Advanced Topology and Set Theory
Publication details
- Journal / source
- The Australasian Journal of Logic
- Volume
- 23
- Issue
- 2
- Pages
- 148–165
- Publication date
- 12 March 2026
- Language
- EN