A Dynamic Informational-Epistemic Logic

Yuri David Santos

    OnderzoeksoutputAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with situations of this sort. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system.
    Originele taal-2English
    TitelDynamic Logic
    SubtitelNew Trends and Applications: First International Workshop, DALI 2017 Brasilia, Brazil, September 23–24, 2017 Proceedings
    RedacteurenAlexandre Madeira, Mário Benevides
    Plaats van productieCham
    UitgeverijSpringer
    Pagina's64-81
    ISBN van elektronische versie978-3-319-73579-5
    ISBN van geprinte versie978-3-319-73578-8
    DOI's
    StatusPublished - 2018
    EvenementInternational Workshop on Dynamic Logic - Brasilia, Brazil
    Duur: 23-sep-201724-sep-2017

    Publicatie series

    NaamLecture Notes in Computer Science
    UitgeverijSpringer
    Volume106669
    ISSN van geprinte versie302-9743
    ISSN van elektronische versie1611-3349

    Conference

    ConferenceInternational Workshop on Dynamic Logic
    Verkorte titelDALI 2017
    Land/RegioBrazil
    StadBrasilia
    Periode23/09/201724/09/2017

    Citeer dit