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 条

[41] On Universally Free First-Order Extensions of Belnap-Dunn'sFour-Valued Logic and Nelson's Paraconsistent Logic N4
Antunes, Henrique
Rodrigues, Abilio
JOURNAL OF PHILOSOPHICAL LOGIC, 2025,
[42] Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs
Azzolini, Damiano
Riguzzi, Fabrizio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 14 - 26
[43] Synthesis of continuous-valued logic functions defined in tabular form
Zaitsev, DA
Sarbei, VG
Sleptsov, AI
CYBERNETICS AND SYSTEMS ANALYSIS, 1998, 34 (02) : 190 - 195
[44] Synthesis of continuous-valued logic functions defined in tabular form
D. A. Zaitsev
V. G. Sarbei
A. I. Sleptsov
Cybernetics and Systems Analysis, 1998, 34 : 190 - 195
[45] Extension of fuzzy logic operators defined on bounded lattices via retractions
Palmeira, E. S.
Bedregal, B. C.
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2012, 63 (06) : 1026 - 1038
[46] The basic constructive logic for absolute consistency defined with a propositional falsity constant
Robles, Gemma
LOGIC JOURNAL OF THE IGPL, 2008, 16 (03) : 275 - 291
[47] Modifying user-defined logic for test access to embedded cores
Pouya, B
Touba, NA
ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, 1997, : 60 - 68
[48] Controlling Chaos in a Defined Trajectory Using Adaptive Fuzzy Logic Algorithm
Sadeghi, Maryam
Menhaj, Bagher
NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, 2012, 1479 : 2237 - 2240
[49] Enforcing User-defined Management Logic in Large Scale Systems
Perera, Srinath
Gannon, Dennis
2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 243 - 250
[50] Dealy-insensitive logic in software-defined radio applications
Chester, DB
McCardle, J
IEEE COMMUNICATIONS MAGAZINE, 2003, 41 (01) : 114 - 119

← 1 2 3 4 5 →