Shallow Models for Non-Iterative Modal Logics

Open in new window