2015•Journal of Logic and ComputationOpen access

Four-valued modal logic: Kripke semantics and duality

Umberto Rivieccio, Achim Jung, Ramón Jansana

Abstract

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

About this research paper

What this paper is about

Why it matters

OpenAlex reports 46 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Modal logic, Accessibility relation, Normal modal logic, Multimodal logic, Algebraic semantics, S5, Mathematics, Kripke semantics