Smart Labels

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F04%3A00001610" target="_blank" >RIV/00216208:11210/04:00001610 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

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 důkazech úplnosti modálních logik interpretovatelnosti. V článku je zaveden a obecně prozkoumán alternativní pojem bezpečného následníka. Ten je následně aplikován v důkazu úplnosti ILW poprvé dokázaného de Jonghem a Veltmanem.

Project
<a href="/en/project/IAA1019401" target="_blank" >IAA1019401: Theories, proofs and computational complexity</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)