Relation-Changing Logics as Fragments of Hybrid Logics

被引：6

作者：

Areces, Carlos ^{[1
,2
]}

Fervari, Raul ^{[1
,2
]}

Hoffmann, Guillaume ^{[1
,2
]}

Martel, Mauricio ^{[3
]}

机构：

[1] Univ Nacl Cordoba, Cordoba, Argentina

[2] Consejo Nacl Invest Cient & Tecn, Buenos Aires, DF, Argentina

[3] Univ Bremen, Bremen, Germany

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 226期

关键词：

COMPLEXITY; SABOTAGE;

D O I：

10.4204/EPTCS.226.2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to delete, add, and swap edges in the model, both locally and globally. We provide translations from these logics to hybrid logic along with an implementation. In general, these logics are undecidable, but we use our translations to identify decidable fragments. We also compare the expressive power of relation-changing modal logics with hybrid logics.

引用

页码：16 / 29

页数：14

共 24 条

[1]

[Anonymous], THESIS

[2]

[Anonymous], 1993, Ph.D. thesis

[3]

Areces C, 1999, LECT NOTES COMPUT SC, V1683, P307

[4]

Areces Carlos, 2014, Logic, Language, Information, and Computation. 21st International Workshop, WoLLIC 2014. Proceedings: LNCS 8652, P51, DOI 10.1007/978-3-662-44145-9_4

[5]

Areces Carlos, 2012, Logic, Language, Information and Computation. Proceedings of the 19th International Workshop, WoLLIC 2012, P142, DOI 10.1007/978-3-642-32621-9_11

[6] Relation-changing modal operators [J].

Areces, Carlos ;

Fervari, Raul ;

Hoffmann, Guillaume .

LOGIC JOURNAL OF THE IGPL, 2015, 23 (04) :601-627

[7] Swap logic [J].

Areces, Carlos ;

Fervari, Raul ;

Hoffmann, Guillaume .

LOGIC JOURNAL OF THE IGPL, 2014, 22 (02) :309-332

[8]

Areces C, 2013, LECT NOTES COMPUT SC, V8152, P263, DOI 10.1007/978-3-642-40885-4_19

[9]

Areces C, 2007, STUD LOGIC PRACT REA, V3, P821

[10]

Blackburn P., 1995, Journal of Logic, Language and Information, V4, P251, DOI 10.1007/BF01049415

← 1 2 3 →