Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499)
From MaRDI portal
scientific article; zbMATH DE number 6286109
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tableau Development for a Bi-intuitionistic Tense Logic |
scientific article; zbMATH DE number 6286109 |
Statements
Tableau Development for a Bi-intuitionistic Tense Logic (English)
0 references
16 April 2014
0 references
