A Semantical Analysis of Second-Order Propositional Modal Logic

Belardinelli, F and van der Hoek, W ORCID: 0000-0003-0721-0310 (2016) A Semantical Analysis of Second-Order Propositional Modal Logic In: AAAI conference on Artificial Intelligence, 2016-2-12 - 2016-2-17, Phoenix, Arizona USA.

Text aaai2016_final.pdf - Unspecified Download (249kB)

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.

Item Type:	Conference Item (Unspecified)
Uncontrolled Keywords:	5003 Philosophy, 46 Information and Computing Sciences, 4602 Artificial Intelligence, 50 Philosophy and Religious Studies
Depositing User:	Symplectic Admin
Date Deposited:	05 May 2016 14:55
Last Modified:	22 May 2026 23:47
DOI:	10.1609/aaai.v30i1.10100
Related Websites:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3000488
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.