Switch to: References

Citations of:

It ain't necessarily so: Basic sequent systems for negative modalities

In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 449-468 (2016)

Add citations

You must login to add citations.
  1. Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic.Abilio Rodrigues, Juliana Bueno-Soler & Walter Carnielli - 2020 - Synthese 198 (S22):5451-5480.
    This paper introduces the logic of evidence and truth \ as an extension of the Belnap–Dunn four-valued logic \. \ is a slightly modified version of the logic \, presented in Carnielli and Rodrigues. While \ is equipped only with a classicality operator \, \ is equipped with a non-classicality operator \ as well, dual to \. Both \ and \ are logics of formal inconsistency and undeterminedness in which the operator \ recovers classical logic for propositions in its scope. (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations