Complexity and expressivity of propositional dynamic logics with finitely many variables (Q5095651): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 1901.06407 / rank
 
Normal rank

Revision as of 23:27, 19 April 2024

scientific article; zbMATH DE number 7570102
Language Label Description Also known as
English
Complexity and expressivity of propositional dynamic logics with finitely many variables
scientific article; zbMATH DE number 7570102

    Statements

    Complexity and expressivity of propositional dynamic logics with finitely many variables (English)
    0 references
    0 references
    0 references
    10 August 2022
    0 references
    propositional dynamic logic
    0 references
    finite-variable fragments
    0 references
    satisfiability
    0 references
    computational complexity
    0 references
    undecidability
    0 references
    expressivity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references