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 metadatas

https://hal.archives-ouvertes.fr/hal-01441798
Contributor : Frédéric Davesne <>
Submitted on : Friday, January 20, 2017 - 11:04:34 AM
Last modification on : Monday, October 28, 2019 - 10:50:22 AM

Identifiers

  • HAL Id : hal-01441798, version 1

Citation

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⟩

Share

Metrics

Record views

62