Frederik Van De Putte: Pointwise intersection in neighbourhood semantics

Lecture by Frederik Van De Putte (Ghent), organized by Grolog

We study the logic of neighbourhood models with pointwise intersection, as a means to interpret non-normal multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets N_i (one for each member i of a set G) to a new neighbourhood set N_G, which in turn allows us to interpret the operator G. Here, X is in the neighbourhood for G if and only if X equals the intersection of some Y = {Y_i | i is a member of  G}. We argue that...(continue reading...)