Positive Instantial Neighbourhood logic
Cet article introduit la Logique de Voisinage Instantiel Positive (PINL), un système modal sans négation doté de modalités boîte et diamant indépendantes, et établit sa complétude via une sémantique de voisinage persistante, une sémantique algébrique utilisant des 2-DLIos, et une représentation bitopologique canonique.