Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages (Q5858132)

From MaRDI portal
scientific article; zbMATH DE number 7332116
Language Label Description Also known as
English
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
scientific article; zbMATH DE number 7332116

    Statements

    Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages (English)
    0 references
    0 references
    0 references
    9 April 2021
    0 references
    predicate logic
    0 references
    superintuitionistic logics
    0 references
    finite Kripke frames
    0 references

    Identifiers