Dynamical Branching
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F16%3A10320020" target="_blank" >RIV/00216208:11210/16:10320020 - isvavai.cz</a>
Výsledek na webu
<a href="http://philsci-archive.pitt.edu/9231/" target="_blank" >http://philsci-archive.pitt.edu/9231/</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Dynamical Branching
Popis výsledku v původním jazyce
We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called Dynamic branching logic and show some of its basic properties.
Název v anglickém jazyce
Dynamical Branching
Popis výsledku anglicky
We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called Dynamic branching logic and show some of its basic properties.
Klasifikace
Druh
J<sub>ost</sub> - Ostatní články v recenzovaných periodicích
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2016
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ů
Údaje specifické pro druh výsledku
Název periodika
Acta Universitatis Carolinae. Philosophica et Historica
ISSN
0567-8293
e-ISSN
—
Svazek periodika
10
Číslo periodika v rámci svazku
Miscellanea Logica X
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
9
Strana od-do
93-101
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—