O modálních systémech s rosserovskými modalitami

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F06%3A00000727" target="_blank" >RIV/00216208:11210/06:00000727 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On Modal Systems with Rosser Modalities

Popis výsledku v původním jazyce

Modal logics with Rosser modalities are discussed. Alternative axioms involving these symbols that are sound w.r.t. generalized proof predicates are presented.

Název v anglickém jazyce

On Modal Systems with Rosser Modalities

Popis výsledku anglicky

Modal logics with Rosser modalities are discussed. Alternative axioms involving these symbols that are sound w.r.t. generalized proof predicates are presented.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

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 statě ve sborníku

The Logica Yearbook 2005: Proc. of the Logica '05 International Conference

ISBN

80-7007-229-6

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

203-214

Název nakladatele

Filosofia

Místo vydání

Praha

Místo konání akce

—

Datum konání akce

—

Typ akce podle státní příslušnosti

—

Kód UT WoS článku

—