Combinations of tense and modality for predicate logic (Q1303794)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combinations of tense and modality for predicate logic
scientific article

    Statements

    Combinations of tense and modality for predicate logic (English)
    0 references
    0 references
    22 September 1999
    0 references
    modal logic
    0 references
    tense logic
    0 references
    tense
    0 references
    modality
    0 references
    completeness
    0 references
    predicate logic
    0 references
    Kamp-semantics
    0 references
    \(\text{T}\times \text{W}\)-semantics
    0 references

    Identifiers