Strong Completeness and Limited Canonicity for PDL

被引：0
|
作者：
Gerard Renardel de Lavalette
Barteld Kooi
Rineke Verbrugge
机构：
[1] University of Groningen,Department of Computing Science
[2] University of Groningen,Faculty of Philosophy
[3] University of Groningen,Department of Artificial Intelligence
来源：
Journal of Logic, Language and Information | 2009年 / 18卷 / 2期
关键词：
D O I：
10.1007/s10849-009-9083-z
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：291 / 292
页数：1
相关论文
共 50 条
  • [31] A Probabilistic Temporal Epistemic Logic: Strong Completeness
    Ognjanovic, Zoran
    Stepic, Angelina Ilic
    Perovic, Aleksandar
    LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 94 - 138
  • [32] ON COMPLETENESS OF REDUCIBILITY CANDIDATES AS A SEMANTICS OF STRONG NORMALIZATION
    Cousineau, Dents
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
  • [33] Strong Polynomial Completeness of Almost All Quasigroups
    Galatenko, A., V
    Galatenko, V. V.
    Pankrat'ev, A. E.
    MATHEMATICAL NOTES, 2022, 111 (1-2) : 7 - 12
  • [34] The Quest for Strong Inapproximability Results with Perfect Completeness
    Brakensiek, Joshua
    Guruswami, Venkatesan
    ACM TRANSACTIONS ON ALGORITHMS, 2021, 17 (03)
  • [35] On strong standard completeness in some MTL expansions
    Vidal, Amanda
    Bou, Felix
    Esteva, Francesc
    Godo, Lluis
    SOFT COMPUTING, 2017, 21 (01) : 125 - 147
  • [36] Strong completeness of lattice-valued logic
    Takano, M
    ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (05) : 497 - 505
  • [37] A Characterization of Strong Completeness in Fuzzy Metric Spaces
    Gregori, Valentin
    Minana, Juan-Jose
    Roig, Bernardino
    Sapena, Almanzor
    MATHEMATICS, 2020, 8 (06)
  • [38] STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
    Aguilera, Juan P.
    Fernandez-Duque, David
    JOURNAL OF SYMBOLIC LOGIC, 2017, 82 (02) : 608 - 628
  • [39] ON STRONG SEMANTICAL COMPLETENESS OF INTUITIONISTIC PREDICATE CALCULUS
    THOMASON, RH
    JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (01) : 1 - &
  • [40] Strong completeness of lattice-valued logic
    Mitio Takano
    Archive for Mathematical Logic, 2002, 41 : 497 - 505
12345