Display calculi and other modal calculi: a comparison (Q987468)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Display calculi and other modal calculi: a comparison |
scientific article |
Statements
Display calculi and other modal calculi: a comparison (English)
0 references
13 August 2010
0 references
display calculi
0 references
higher-arity calculi
0 references
multiple sequent calculi
0 references
tree-hypersequents calculi
0 references
0 references
