Found 1 document(s)
Page 1 of 1
-
This is a short but excellent introduction to modal, temporal, and dynamic logic, etc. It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logic...
