Abstract
The project aims to develop non-deterministic semantics for modal logics, expanding the recently developed swap structures by Coniglio , inspired by the works of Kearns, Ivlev and Avron and Lev . We want to work with logics that are able to adequately deal with situations presented by Belnap and Dunn , where we can have evidences for the falsity and truth of a certain statement and want t…