 | Up a level |
Number of items: 1.
Belardinelli, Francesco 
ORCID: 0000-0002-7768-1794, van der Hoek, Wiebe and Kuijer, Louwe B.
(2018)
Second-order propositional modal logic: Expressiveness and completeness results.
Artificial Intelligence.
ISSN UNSPECIFIED