modal logic - all djvu files by tag