A Semantical Analysis of Second-Order Propositional Modal Logic

Authors

  • Francesco Belardinelli Universit√© d'Evry
  • Wiebe van der Hoek University of Liverpool

DOI:

https://doi.org/10.1609/aaai.v30i1.10100

Keywords:

Second-Order Propositional Modal Logic, Bisimulation, Temporal and Spatial Reasoning

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.

Downloads

Published

2016-02-21

How to Cite

Belardinelli, F., & van der Hoek, W. (2016). A Semantical Analysis of Second-Order Propositional Modal Logic. Proceedings of the AAAI Conference on Artificial Intelligence, 30(1). https://doi.org/10.1609/aaai.v30i1.10100

Issue

Section

Technical Papers: Knowledge Representation and Reasoning