Fregovské systémy pro extensibilní modální logiky

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F06%3A00043538" target="_blank" >RIV/67985840:_____/06:00043538 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Frege systems for extensible modal logics

Popis výsledku v původním jazyce

It is known that all Frege proof systems for the classical or intuitionistic propositional logic in the standard language are polynomially equivalent. We extend these results to a family of modal logics, including K4, GL, S4, and S4Grz.

Název v anglickém jazyce

Frege systems for extensible modal logics

Popis výsledku anglicky

It is known that all Frege proof systems for the classical or intuitionistic propositional logic in the standard language are polynomially equivalent. We extend these results to a family of modal logics, including K4, GL, S4, and S4Grz.

Druh

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

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>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 periodika

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

—

Svazek periodika

142

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

14

Strana od-do

366-379

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—