Four-valued modal logic: Kripke semantics and duality
Umberto Rivieccio, Achim Jung, Ramón Jansana · Journal of Logic and Computation · 2015
Este es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Journal of Logic and Computation, 27, 2017, pp. 155-199, está disponible en línea en el sitio web del editor: https://doi.org/10.1093/logcom/exv038 This is the accepted manuscript of the article. The registered version was first published in Journal of Logic and Computation, 27, 2017, pp. 155-199, is available online at the publisher's website: https://doi.org/10.1093/logcom/exv038