Distributed modal theorem proving with KE (Q4645234)

From MaRDI portal
scientific article; zbMATH DE number 6999519
Language Label Description Also known as
English
Distributed modal theorem proving with KE
scientific article; zbMATH DE number 6999519

    Statements

    Distributed modal theorem proving with KE (English)
    0 references
    0 references
    0 references
    10 January 2019
    0 references
    modal logic
    0 references
    theorem proving
    0 references
    modal rule
    0 references
    accessibility relation
    0 references
    automated reasoning
    0 references
    0 references
    0 references

    Identifiers