Liber Amicorum for Dick de Jongh

0047821 - ÚI 2008 RIV NL eng M - Monography Chapter
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
Source of funding: V - Other public resources
Keywords : interpretability * interpretability logic * modal logic * completeness
Subject RIV: BA - General Mathematics

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.
Permanent Link: http://hdl.handle.net/11104/0138615