共 50 条
- [1] A Semantical Analysis of Second-Order Propositional Modal Logic THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 886 - 892
- [4] A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic Journal of Logic, Language and Information, 2023, 32 : 511 - 538
- [8] Second-order Propositional Announcement Logic AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 635 - 643
- [9] Expressivity of Second Order Propositional Modal Logic Journal of Philosophical Logic, 2006, 35 : 209 - 223