Implementing a relational theorem prover for modal logic (Q3008387)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Implementing a relational theorem prover for modal logic
scientific article

    Statements

    Implementing a relational theorem prover for modal logic (English)
    0 references
    0 references
    0 references
    15 June 2011
    0 references
    modal logic
    0 references
    relational logic
    0 references
    dual tableau methods
    0 references
    implementation
    0 references
    theorem prover
    0 references
    0 references
    0 references

    Identifiers