Author:
Publication: Artificial Intelligence
Editorial Board
Second-order propositional modal logic: Expressiveness and completeness results