Positive Fragments of Coalgebraic Logics

Kód výsledku v IS VaVaI

RIV/68407700:21230/13:00206607 - isvavai.cz

Výsledek na webu

http://dx.doi.org/10.1007/978-3-642-40206-7_6

DOI - Digital Object Identifier

10.1007/978-3-642-40206-7_6

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 of weak-pullback preserving functors. For possible application to fixed-point logics, it is note-worthy that the positive coalgebraic logic of a functor is given not by all predicate-liftings but by all monotone predicate liftings.

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 of weak-pullback preserving functors. For possible application to fixed-point logics, it is note-worthy that the positive coalgebraic logic of a functor is given not by all predicate-liftings but by all monotone predicate liftings.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

GAP202/11/1632: Algebraické metody v teorii důkazů

Návaznosti

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

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

Algebra and Coalgebra in Computer Science

ISBN

978-3-642-40205-0

ISSN

—

e-ISSN

—

Počet stran výsledku

15

Strana od-do

51-65

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Warszawa

Datum konání akce

3. 9. 2013

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

WRD - Celosvětová akce

Kód UT WoS článku

—