1
by Roussarie, Laurent
Published 2017
Language Science Press
Subjects: '; ...temporal and modal logic...