Capturing equilibrium models in modal logic (Q2447178)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Capturing equilibrium models in modal logic
scientific article

    Statements

    Capturing equilibrium models in modal logic (English)
    0 references
    0 references
    0 references
    24 April 2014
    0 references
    equilibrium logic
    0 references
    here-and-there models
    0 references
    bimodal logic
    0 references
    answer-set programming
    0 references
    0 references
    0 references

    Identifiers