On the Expressivity of First-Order Modal Logic with “Actually” (Q3457704)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the Expressivity of First-Order Modal Logic with “Actually”
scientific article

    Statements

    On the Expressivity of First-Order Modal Logic with “Actually” (English)
    0 references
    17 December 2015
    0 references
    first-order modal logic
    0 references
    actually
    0 references
    two-dimensional semantics
    0 references
    actualist and possibilist quantification
    0 references
    expressivity
    0 references
    bisimulation
    0 references

    Identifiers