A constructive approach to state description semantics (Q1414570)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A constructive approach to state description semantics
scientific article

    Statements

    A constructive approach to state description semantics (English)
    0 references
    0 references
    4 December 2003
    0 references
    Possible worlds
    0 references
    Carnap
    0 references
    Martin-Löf
    0 references
    Constructive logic
    0 references
    Modal logic
    0 references
    Quantification
    0 references
    Choice sequences
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references