Q3128959 (Q3128959): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
Property / author
 
Property / author: Alexander Chagrov / rank
Normal rank
 
Property / author
 
Property / author: Michael Zakharyashchev / rank
Normal rank
 

Revision as of 08:39, 22 February 2024

scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    24 April 1997
    0 references
    algebraic semantics
    0 references
    modal algebras
    0 references
    modal logic
    0 references
    superintuitionistic logics
    0 references
    Kripke frames
    0 references
    algebraic structures
    0 references
    completeness
    0 references
    decidability
    0 references
    undecidability
    0 references
    finite axiomatizability
    0 references
    finite approximability
    0 references
    Kripke semantics
    0 references
    pseudo-Boolean algebras
    0 references
    algorithmic problems
    0 references
    complexity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references