Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL (Q3343430)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
scientific article

    Statements

    Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL (English)
    0 references
    1984
    0 references
    Dynamic logic
    0 references
    temporal logic
    0 references
    process logic
    0 references

    Identifiers