Positive fragments of coalgebraic logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F15%3A00232168" target="_blank" >RIV/68407700:21230/15:00232168 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.2168/LMCS-11(3:18)2015" target="_blank" >http://dx.doi.org/10.2168/LMCS-11(3:18)2015</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2168/LMCS-11(3:18)2015" target="_blank" >10.2168/LMCS-11(3:18)2015</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Positive fragments of coalgebraic logics

Popis výsledku v původním jazyce

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn?s result from Kripke frames to coalgebras for weak-pullback preserving functors.

Název v anglickém jazyce

Positive fragments of coalgebraic logics

Popis výsledku anglicky

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn?s result from Kripke frames to coalgebras for weak-pullback preserving functors.

Druh

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

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraické metody v teorii důkazů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2015

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

Logical Methods in Computer Science

ISSN

1860-5974

e-ISSN

—

Svazek periodika

11

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

51

Strana od-do

1-51

Kód UT WoS článku

000365417600018

EID výsledku v databázi Scopus

2-s2.0-84943624845