Positive Instantial Neighbourhood logic
Este artigo introduz a Lógica de Vizinhança Instancial Positiva (PINL), um sistema modal livre de negação com modalidades de caixa e diamante independentes, e estabelece sua completude por meio de semântica de vizinhança persistente, semântica algébrica usando 2-DLIos e uma representação bitopológica canônica.