Wally axiomatics of Branching Continuations

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F13%3A10123352" target="_blank" >RIV/00216208:11210/13:10123352 - 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

—

Jazyk výsledku

angličtina

Název v původním jazyce

Wally axiomatics of Branching Continuations

Popis výsledku v původním jazyce

We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.

Název v anglickém jazyce

Wally axiomatics of Branching Continuations

Popis výsledku anglicky

We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

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 periodika

Acta Universitatis Carolinae. Philosophica et Historica

ISSN

0567-8293

e-ISSN

—

Svazek periodika

9

Číslo periodika v rámci svazku

Miscellanea Logica IX

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

11

Strana od-do

75-86

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—