Number of the records: 1  

Probabilities with Gaps and Gluts

  1. 1.
    SYSNO ASEP0543241
    Document TypeJ - Journal Article
    R&D Document TypeJournal Article
    Subsidiary JČlánek ve WOS
    TitleProbabilities with Gaps and Gluts
    Author(s) Klein, D. (NL)
    Majer, Ondrej (UIVT-O) RID, ORCID, SAI
    Rad, S. R. (NL)
    Number of authors3
    Source TitleJournal of Philosophical Logic. - : Springer - ISSN 0022-3611
    Roč. 50, č. 5 (2021), s. 1107-1141
    Number of pages35 s.
    Publication formPrint - P
    Languageeng - English
    CountryNL - Netherlands
    KeywordsBelnap-Dunn logic ; First Degree Entailment ; Non-standard probability theory ; Probability theory ; Bayes’ updating ; Jeffrey updating ; Probability aggregation
    OECD categoryPhilosophy, History and Philosophy of science and technology
    R&D ProjectsGA18-00113S GA ČR - Czech Science Foundation (CSF)
    Method of publishingOpen access
    Institutional supportUIVT-O - RVO:67985807
    UT WOS000648081300001
    EID SCOPUS85105538812
    DOI10.1007/s10992-021-09592-x
    AnnotationBelnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic extension of BD that permits agents to have probabilistic beliefs about the truth and falsity of a proposition. We provide a sound and complete axiomatization for the framework defined and also identify policies for conditionalization and aggregation. Concretely, we introduce four-valued equivalents of Bayes' and Jeffrey updating and also suggest mechanisms for aggregating information from different sources.
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing2022
    Electronic addresshttp://dx.doi.org/10.1007/s10992-021-09592-x
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.