The bounded proof property via step algebras and step frames (Q741087)

From MaRDI portal
Revision as of 00:28, 9 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
The bounded proof property via step algebras and step frames
scientific article

    Statements

    The bounded proof property via step algebras and step frames (English)
    0 references
    0 references
    0 references
    10 September 2014
    0 references
    modal logic
    0 references
    bounded proof property
    0 references
    finite model property
    0 references
    step correspondence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    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