A Universally Defined Undecidable Unimodal Logic

被引：0
|
作者：
Hemaspaandra, Edith [1 ]
Schnoor, Henning [2 ]
机构：
[1] Rochester Inst Technol, Dept Comp Sci, Rochester, NY 14623 USA
[2] Univ Kiel, Inst Comp Sci, Kiel, Germany
来源：
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011 | 2011年 / 6907卷
关键词：
modal logic; satisfiability problems; decidability; COMPLEXITY; PRODUCTS; TIME;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Modal logics are widely used in computer science. The complexity of their satisfiability problems has been an active field of research since the 1970s. We prove that even very "simple" modal logics can be undecidable: We show that there is an undecidable unimodal logic that can be obtained by restricting the allowed models with an equality-free first-order formula in which only universal quantifiers appear.
引用
收藏
页码：364 / 375
页数：12
相关论文
共 50 条
  • [31] User-defined logic in SOPC design
    Fang, Zhuo
    Chen, Zewen
    Peng, Chenglian
    Jisuanji Gongcheng/Computer Engineering, 2004, 30 (17):
  • [32] Unimodal and Well-Defined Nanomicelles Assembled by Topology-Controlled Bicyclic Block Copolymers
    Ree, Brian J.
    Satoh, Yusuke
    Jin, Kyeong Sik
    Isono, Takuya
    Satoh, Toshifumi
    MACROMOLECULES, 2022, 55 (03) : 862 - 872
  • [33] MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE
    Diaconu, Raluca
    Dima, Catalin
    APPLIED ARTIFICIAL INTELLIGENCE, 2012, 26 (04) : 331 - 348
  • [34] Towards Consistent Software Defined Networking with Logic Programming
    Lui, Eric
    Wu, Yu-Sung
    Ngai, Patrick
    Lin, Tung-Yueh
    Li, Hong-Wei
    Huang, Shih-Yi
    2015 17TH ASIA-PACIFIC NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM APNOMS, 2015, : 109 - 114
  • [35] A Secure Camouflaged Threshold Voltage Defined Logic Family
    Erbagci, Burak
    Erbagci, Cagri
    Akkaya, Nail Etkin Can
    Mai, Ken
    PROCEEDINGS OF THE 2016 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST), 2016, : 229 - 235
  • [36] Fuzzy Horn logic II -: implicationally defined classes
    Belohlávek, R
    Vychodil, V
    ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (02) : 149 - 177
  • [37] Defined modes and diagnostics for stored logic recognition processor
    DORR RL
    1971, 14 (04): : 1122 - 1123
  • [38] Local β compactness as fuzzy predicates defined in Lukasiewicz logic
    Sayed, O. R.
    Kim, Yong Chan
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 32 (01) : 165 - 176
  • [39] AN EXERCISE IN SURVEYING A NON-UNIVERSALLY DEFINED GROUP IN THE POPULATION THE NORTHERN IRELAND SURVEY OF ACTIVITY LIMITATION AND DISABILITY
    Sweeney, Kevin
    Furphy, Michelle
    JOURNAL OF THE STATISTICAL AND SOCIAL INQUIRY SOCIETY OF IRELAND, 2008, 37 : 217 - 269
  • [40] EXTENSION OF NOT EVERYWHERE DEFINED FUNCTIONS OF MANY-VALUED LOGIC
    ROMOV, BA
    CYBERNETICS, 1987, 23 (03): : 319 - 327
12345