Liber Amicorum for Dick de Jongh

0047821 - ÚI 2008 RIV NL eng M - Část monografie knihy
Bílková, Marta - Goris, E. - Joosten, J.J.
Smart Labels.
[Chytré značkování.]
Liber Amicorum for Dick de Jongh. Amsterdam: University of Amsterdam, 2004 - (Afanasiev, L.; Marx, M.), s. 1-9. ISBN 90-5776-1289
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: interpretability * interpretability logic * modal logic * completeness
Kód oboru RIV: BA - Obecná matematika

The notion of a critical successor has been central to all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this makes life a lot easier. After a general treatment of assuringness, we shall apply it to obtain a completeness results for ILW, a result first proved by de Jongh and Veltman

Pojem kritického následníka je centrální v dukazech úplnosti modálních logik interpretovatelnosti. V clánku je zaveden a obecne prozkoumán alternativní pojem bezpecného následníka. Ten je následne aplikován v dukazu úplnosti ILW poprvé dokázaného de Jonghem a Veltmanem.
Trvalý link: http://hdl.handle.net/11104/0138615