Kripke-Style Models for Logics of Evidence and Truth

Axioms 9 (3) (2020)
  Copy   BIBTEX


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 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 information for the truth and for the falsity of a given proposition.



    Upload a copy of this work     Papers currently archived: 94,385

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

49 (#320,324)

6 months
18 (#192,331)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Walter Carnielli
University of Campinas
Abilio Rodrigues
Federal University of Minas Gerais