Belardinelli, F, Van Der Hoek, W and Kuijer, LB
Second-order Propositional Modal Logic: Expressiveness and Completeness Results.
Artificial Intelligence.
ISSN 0004-3702
(Submitted)
 | There is a more recent version of this item available. |
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
submission.pdf - Submitted version Download (934kB) |
| Item Type: | Article |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 11 Jan 2018 08:20 |
| Last Modified: | 19 Jan 2023 06:46 |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3015786 |
Available Versions of this Item
- Second-order Propositional Modal Logic: Expressiveness and Completeness Results. (deposited 11 Jan 2018 08:20) [Currently Displayed]
Share
Share
Share
CORE (COnnecting REpositories)