Feedback
keyword: Modal and temporal logics – 2 free books.
Automated Reasoning
Christoph Benzmüller et al. (editors)