Modal trees: Correction to a decision procedure for S5 (and T) (Q1099159)
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: Modal trees: Correction to a decision procedure for S5 (and T) |
scientific article; zbMATH DE number 4039853
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal trees: Correction to a decision procedure for S5 (and T) |
scientific article; zbMATH DE number 4039853 |
Statements
Modal trees: Correction to a decision procedure for S5 (and T) (English)
0 references
1987
0 references
extensions of the tree method
0 references
0.84007496
0 references
0.8265399
0 references
0.82269084
0 references
0.81062305
0 references
0.8095868
0 references
