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
相关论文
共 50 条
  • [11] Polytime embedding of intuitionistic modal logics into their one-variable fragments
    Rybakov, Mikhail
    Shkatov, Dmitry
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [12] On the expressive power of hybrid branching-time logics
    Kernberger, Daniel
    Lange, Martin
    THEORETICAL COMPUTER SCIENCE, 2020, 813 : 362 - 374
  • [13] Logics and collaboration
    Sonenberg, Liz
    LOGIC JOURNAL OF THE IGPL, 2023, 31 (06) : 1024 - 1046
  • [14] Description Logics
    Baader, Franz
    REASONING WEB: SEMANTIC TECHNOLOGIES FOR INFORMATION SYSTEMS, 2009, 5689 : 1 - 39
  • [15] Computing with cylindric modal logics and arrow logics, lower bounds
    Marx M.
    Studia Logica, 2002, 72 (2) : 233 - 252
  • [16] Trust in interagency collaboration: The role of institutional logics and hybrid professionals
    Gotzsche-Astrup, Oluf
    Lindekilde, Lasse
    Fjellman, Anna Maria
    Bjorgo, Tore
    Solhjell, Randi
    Haugstvedt, Havard
    Sivenbring, Jennie
    Malmros, Robin
    Kangasniemi, Mari
    Moilanen, Tanja
    Magnaes, Ingvild
    Christensen, Tina Wilchen
    Mattsson, Christer
    JOURNAL OF PROFESSIONS AND ORGANIZATION, 2023, 10 (01): : 65 - 79
  • [17] CSR managers as hybrid professionals: managing at the intersection of coexisting logics
    Guix, Mireia
    Petry, Tanja
    JOURNAL OF SUSTAINABLE TOURISM, 2024, 32 (08) : 1511 - 1533
  • [18] CSR managers as hybrid professionals: managing at the intersection of coexisting logics
    Guix, Mireia
    Petry, Tanja
    JOURNAL OF SUSTAINABLE TOURISM, 2023,
  • [19] Base Logics in Argumentation
    Hunter, Anthony
    COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 275 - 286
  • [20] Propositional logics of dependence
    Yang, Fan
    Vaananen, Jouko
    ANNALS OF PURE AND APPLIED LOGIC, 2016, 167 (07) : 557 - 589
12345