Up a level |
Number of items: 2.
Van Der Hoek, W and Belardinelli, F
(2015)
Epistemic Quantified Boolean Logic.
In: International Joint Conference on Artificial Intelligence (IJCAI).
Belardinelli, F and van der Hoek, W
(2016)
A Semantical Analysis of Second-Order Propositional Modal Logic.
In: AAAI conference on Artificial Intelligence, 2016-2-12 - 2016-2-17, Phoenix, Arizona USA.