A Semantical Analysis of Second-Order Propositional Modal Logic

Francesco Belardinelli, Wiebe van der Hoek

AAAI 2016 pp. 886-892

doi:10.1609/AAAI.V30I1.10100 /aaai/2016/belardinelli2016aaai-semantical/

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.

PDF AAAI Semantic Scholar

Cite

Text

Belardinelli and van der Hoek. "A Semantical Analysis of Second-Order Propositional Modal Logic." AAAI Conference on Artificial Intelligence, 2016. doi:10.1609/AAAI.V30I1.10100

Markdown

[Belardinelli and van der Hoek. "A Semantical Analysis of Second-Order Propositional Modal Logic." AAAI Conference on Artificial Intelligence, 2016.](https://mlanthology.org/aaai/2016/belardinelli2016aaai-semantical/) doi:10.1609/AAAI.V30I1.10100

BibTeX

@inproceedings{belardinelli2016aaai-semantical,
  title     = {{A Semantical Analysis of Second-Order Propositional Modal Logic}},
  author    = {Belardinelli, Francesco and van der Hoek, Wiebe},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {886-892},
  doi       = {10.1609/AAAI.V30I1.10100},
  url       = {https://mlanthology.org/aaai/2016/belardinelli2016aaai-semantical/}
}