The top documents tagged [modal predicate systems]
A Companion to Modal Logic
83 views