Sahlqvist theory for impossible worlds (Q2983397)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sahlqvist theory for impossible worlds
scientific article

    Statements

    Sahlqvist theory for impossible worlds (English)
    0 references
    0 references
    0 references
    0 references
    17 May 2017
    0 references
    regular modal logics
    0 references
    epistemic logic
    0 references
    algebraic Sahlqvist canonicity
    0 references
    algorithmic correspondence
    0 references
    regular inductive formulas and inequalities
    0 references
    Lemmon's logics E2-E5
    0 references

    Identifiers