On Composing Finite Forests with Modal Logics (Q5886519): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1145/3569954 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4313254506 / rank
 
Normal rank

Revision as of 21:38, 19 March 2024

scientific article; zbMATH DE number 7672671
Language Label Description Also known as
English
On Composing Finite Forests with Modal Logics
scientific article; zbMATH DE number 7672671

    Statements

    On Composing Finite Forests with Modal Logics (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    5 April 2023
    0 references
    modal logic on trees
    0 references
    separation logic
    0 references
    static ambient logic
    0 references
    graded modal logic
    0 references
    expressive power
    0 references
    complexity
    0 references

    Identifiers

    0 references
    0 references
    0 references