Gentzen sequent calculi for some intuitionistic modal logics (Q128013653)
Jump to navigation
Jump to search
scholarly article
Language | Label | Description | Also known as |
---|---|---|---|
default for all languages | No label defined |
||
English | Gentzen sequent calculi for some intuitionistic modal logics |
scholarly article |
Statements
Gentzen sequent calculi for some intuitionistic modal logics (English)
1 reference