Chytré značkování

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Smart Labels

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Smart Labels

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA1019401" target="_blank" >IAA1019401: Teorie, důkazy a výpočetní složitost</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2004

Kód důvěrnosti údajů

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

Název knihy nebo sborníku

Liber Amicorum for Dick de Jongh

ISBN

—

Počet stran výsledku

9

Strana od-do

1-9

Počet stran knihy

—

Název nakladatele

ILLC, University of Amsterdam

Místo vydání

Amsterdam

Kód UT WoS kapitoly

—