A Semantical Analysis of Second-Order Propositional Modal Logic



Belardinelli, F, van der Hoek, W and AAAI,
(2016) A Semantical Analysis of Second-Order Propositional Modal Logic. .

[img] Text
aaai2016_final.pdf - Unspecified

Download (249kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 05 May 2016 14:55
Last Modified: 14 May 2021 23:13
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3000488