A new tableaux system for KD
Saved in:
Published in | C.Q.D. Vol. 19; pp. 83 - 96 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | Portuguese |
Published |
UNESP
01.12.2020
|
Online Access | Get full text |
Cover
Loading…
ISSN: | 2316-9664 |
---|---|
DOI: | 10.21167/cqdvol19202023169664rafhafvv8396 |