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