Chytré značkování

Kód výsledku v IS VaVaI

RIV/67985807:_____/04:00047821 - isvavai.cz

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

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

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

90-5776-1289

Počet stran výsledku

9

Strana od-do

1-9

Počet stran knihy

—

Název nakladatele

University of Amsterdam

Místo vydání

Amsterdam

Kód UT WoS kapitoly

—