Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics

TitleShortcuts and Dynamic Marking in the Tableau Method for Adaptive logics
Publication TypeJournal Article
AuthorsBatens, D, Meheus, J
UGent Biblio Link http://hdl.handle.net/1854/LU-134879

Export as...

BibTex   Tagged   XML   RIS
UGent Biblio Link: 
http://hdl.handle.net/1854/LU-134879