Focused labeled proof systems for modal logic (Q3460060)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6528787
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Focused labeled proof systems for modal logic |
scientific article; zbMATH DE number 6528787 |
Statements
Focused Labeled Proof Systems for Modal Logic (English)
0 references
12 January 2016
0 references
0.8100726008415222
0 references
0.8066784739494324
0 references
0.7928576469421387
0 references
0.7801754474639893
0 references
