Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics
Title | Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics |
Publication Type | Journal Article |
Authors | Batens, D, Meheus, J |
UGent Biblio Link | http://hdl.handle.net/1854/LU-134879 |
---|
UGent Biblio Link: