A Semantical Analysis of Second-Order Propositional Modal Logic

被引：0

作者：

Belardinelli, F. ^{[1
]}

van der Hoek, W. ^{[2
]}

机构：

[1] Univ Evry, Lab IBISC, Evry, France

[2] Univ Liverpool, Liverpool, Merseyside, England

来源：

THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2016年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：886 / 892

页数：7

共 20 条

[1]

[Anonymous], 1998, WATER DISPERSIBLE GR, DOI [DOI 10.1007/978-94-011-4956-3_4, 10.1007/978-94-011-4956-3_4]

[2]

[Anonymous], 1976, THESIS

[3]

[Anonymous], 2007, Handbook of Modal Logic.

[4]

[Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science

[5]

Balbiani Philippe., 2007, P 11 C THEORETICAL A, P42

[6]

Belardinelli F, 2015, PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), P2748

[7] ON MODAL LOGIC WITH PROPOSITIONAL QUANTIFIERS [J].

BULL, RA .

JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (02) :257-&

[8]

FINE K, 1970, THEORIA, V36, P336

[9] KNOWLEDGE AND COMMON KNOWLEDGE IN A DISTRIBUTED ENVIRONMENT [J].

HALPERN, JY ;

MOSES, Y .

JOURNAL OF THE ACM, 1990, 37 (03) :549-587

[10]

Kaminski M., 1996, Notre Dame Journal of Formal Logic, V37, P35, DOI 10.1305/ndjfl/1040067314

← 1 2 →