The top documents tagged [models equivalent models]
A Companion to Modal Logic
83 views