On the formal semantics of IF-like logics (Q980942)

From MaRDI portal
Revision as of 02:20, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
On the formal semantics of IF-like logics
scientific article

    Statements

    On the formal semantics of IF-like logics (English)
    0 references
    0 references
    0 references
    0 references
    8 July 2010
    0 references
    0 references
    independence-friendly logic
    0 references
    regular formulas
    0 references
    signaling
    0 references
    valuation
    0 references
    compositional semantics
    0 references
    full abstraction
    0 references
    flattening operator
    0 references
    0 references