K
[Kur02] Agi Kurucz. S5 × S5 × S5 lacks the finite model property. In AIML'00, pages 321-327. World Scientific, 2002.
@inproceedings{aiml2000-Kur,
  author =              {Kurucz, Agi},
  title =               {{{\(S5\times S5\times S5\)}} lacks the finite model
                         property},
  editor =              {de Rijke, Marteen and Wansing, Heinrich and Wolter,
                         Frank and Zakharyaschev, Michael},
  booktitle =           {{P}roceedings of the 3rd {W}orkshop on {A}dvances in
                         {M}odal {L}ogic ({AIML}'00)},
  acronym =             {{AIML}'00},
  publisher =           {World Scientific},
  pages =               {321-327},
  year =                {2002},
  confyear =            {2000},
  confmonth =           {10},
}
Liste des auteurs