Skip to Main content Skip to Navigation
Conference papers

A semantical analysis of second-order propositional modal logic

Abstract : This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define novel notions of (bi)simulation and prove that these preserve the interpretation of SOPML formulas. Finally, we apply these results to assess the expressive power of SOPML.
Complete list of metadata
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Friday, January 20, 2017 - 11:04:34 AM
Last modification on : Saturday, May 1, 2021 - 3:49:34 AM


  • HAL Id : hal-01441798, version 1


Francesco Belardinelli, Wiebe van Der Hoek. A semantical analysis of second-order propositional modal logic. 30th AAAI Conference on Artificial Intelligence (AAAI 2016), Feb 2016, Phoenix, United States. pp.886--892. ⟨hal-01441798⟩



Record views