Hypersequent rules with restricted contexts for propositional modal logics (Q344801)

From MaRDI portal
Revision as of 00:32, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Hypersequent rules with restricted contexts for propositional modal logics
scientific article

    Statements

    title
    Hypersequent rules with restricted contexts for propositional modal logics (English)
    0 references
    author
    Björn Lellmann
    0 references
    publication date
    24 November 2016
    0 references
    zbMATH Keywords
    structural proof theory
    0 references
    hypersequents
    0 references
    modal logic
    0 references
    Hilbert axioms
    0 references
    cut elimination
    0 references
    decidability
    0 references
    cites work
    Q3837723
    0 references
    Q4539639
    0 references
    Display logic
    0 references
    Q4636285
    0 references
    Q2744124
    0 references
    Alternation
    0 references
    Q3867808
    0 references
    Q2721196
    0 references
    Q4698331
    0 references
    Q5413334
    0 references
    Q5812175
    0 references
    Q5688807
    0 references
    Q4636304
    0 references
    Q3999386
    0 references
    Q4298260
    0 references
    Q5457387
    0 references
    Q4032549
    0 references
    Q4530621
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F05
    0 references
    03F03
    0 references
    03B45
    0 references
    zbMATH DE Number
    6655885
    0 references
    OpenAlex ID
    W2535990237
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q344801&oldid=36289933"
    Powered by MediaWiki