Alternative translation techniques for propositional and first-order modal logics (Q1610677)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Alternative translation techniques for propositional and first-order modal logics
scientific article

    Statements

    Alternative translation techniques for propositional and first-order modal logics (English)
    0 references
    0 references
    0 references
    0 references
    20 August 2002
    0 references
    validity problems
    0 references
    first-order languages
    0 references
    propositional modal logics
    0 references
    automatic translation
    0 references
    weak set theory
    0 references
    first-order modal logics
    0 references

    Identifiers