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: 92,038

External links

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

Through your library

Similar books and articles

A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Distributed Knowledge Justification Logics.Ghari Meghdad - 2014 - Theory of Computing Systems 55 (1):1--40.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.


Added to PP

48 (#331,783)

6 months
19 (#135,612)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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