Display calculi and other modal calculi: a comparison (Q987468)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Display calculi and other modal calculi: a comparison |
scientific article; zbMATH DE number 5770282
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Display calculi and other modal calculi: a comparison |
scientific article; zbMATH DE number 5770282 |
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
0.79315543
0 references
0.78777975
0 references
0.7671174
0 references
0.7337096
0 references
0.7251511
0 references
