Non-axiomatizability for the linear temporal logic of knowledge with concrete observability

被引：1

作者：

Dima, Catalin ^{[1
]}

机构：

[1] Univ Paris Est Creteil Val de Marne, LACL, F-94010 Creteil, France

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2011年 / 21卷 / 06期

关键词：

Temporal epistemic logics; undecidability; MODEL CHECKING;

D O I：

10.1093/logcom/exq031

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We show that propositional linear temporal logic with knowledge modalities but without common knowledge has an undecidable satisfiability problem when interpreted in a 'concrete' semantics with perfect recall or with perfect recall and synchrony.We then conclude that this concrete semantics is not axiomatizable in the semantics, based on local states.

引用

页码：939 / 958

页数：20

共 50 条

[1] A NON-AXIOMATIZABILITY RESULT IN ALGEBRAIC LOGIC
CRVENKOVIC, S
MADARASZ, RS
ALGEBRA UNIVERSALIS, 1991, 28 (04) : 487 - 494
[2] THE NON-AXIOMATIZABILITY OF O-MINIMALITY
Rennet, Alex
JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (01) : 54 - 59
[3] NON-AXIOMATIZABILITY OF LATTICE-ORDERABLE RINGS
VINOGRADOV, AA
MATHEMATICAL NOTES, 1977, 21 (3-4) : 253 - 254
[4] NON-AXIOMATIZABILITY OF THE AMALGAMATION CLASS OF MODULAR LATTICE VARIETIES
BERGMAN, C
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1989, 6 (01): : 49 - 58
[5] UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
Vidal, Amanda
JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (04) : 1576 - 1605
[6] RESTRICTED THRESHOLDS FOR INTERVAL ORDERS - A CASE OF NON-AXIOMATIZABILITY BY A UNIVERSAL SENTENCE
FISHBURN, PC
JOURNAL OF MATHEMATICAL PSYCHOLOGY, 1981, 24 (03) : 276 - 283
[7] Non-transitive linear temporal logic and logical knowledge operations
Rybakov, Vladimir V.
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (03) : 945 - 958
[8] NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS
Bashmakov, S. I.
Kosheleva, A. V.
Rybakov, V.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2016, 13 : 656 - 663
[9] Non-Finite Axiomatizability of Dynamic Topological Logic
Fernandez-Duque, David
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (01)
[10] Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL
Babenyshev, Sergey
Rybakov, Vladimir
LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 32 - +

← 1 2 3 4 5 →