Investigations on Fragments of First Order Branching Temporal Logic (Q2776809)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Investigations on Fragments of First Order Branching Temporal Logic
scientific article

    Statements

    0 references
    0 references
    0 references
    7 January 2003
    0 references
    first-order branching temporal logic
    0 references
    axiomatization
    0 references
    FOCTL
    0 references
    0 references
    0 references
    Investigations on Fragments of First Order Branching Temporal Logic (English)
    0 references

    Identifiers