Smart Labels
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F04%3A00047821" target="_blank" >RIV/67985807:_____/04:00047821 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Smart Labels
Original language description
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 ageneral treatment of assuringness, we shall apply it to obtain a completeness results for ILW, a result first proved by de Jongh and Veltman
Czech name
Chytré značkování
Czech description
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.
Classification
Type
C - Chapter in a specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Liber Amicorum for Dick de Jongh
ISBN
90-5776-1289
Number of pages of the result
9
Pages from-to
1-9
Number of pages of the book
—
Publisher name
University of Amsterdam
Place of publication
Amsterdam
UT code for WoS chapter
—