In recent years, there has been a lot of interest
in analyzing the space requirements for modal logics.
In this paper, we prove that modal satisfiability is in
deterministic linear space. This improves the best previously-known
O(n \log n) bound and it is the first linear space
result in this area.
