Logo Logo
Switch Language to German

Antunes, Henrique; Carnielli, Walter; Kapsner, Andreas and Rodrigues, Abilio (2020): Kripke-Style Models for Logics of Evidence and Truth. In: Axioms, Vol. 9, No. 3: pp. 1-16 [PDF, 350kB]


In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula ∘A means that the information about A, either positive or negative, is reliable. This proposal is in line with the interpretation of N4 and FDE as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable (or conclusive) information (i) for the truth and (ii) for the falsity of a given proposition.

Actions (login required)

View Item View Item