Expressiveness of positive coalgebraic logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F12%3A00199004" target="_blank" >RIV/68407700:21230/12:00199004 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Expressiveness of positive coalgebraic logic
Original language description
From the point of view of modal logic, coalgebraic logic >> over posets is the natural coalgebraic generalisation of positive >> modal logic. From the point of view of coalgebra, >> posets arise if one is interested in simulations as opposed to >> bisimulations. From a categorical point of view, one moves from >> ordinary categories to enriched categories. >> We show that the basic setup of coalgebraic logic extends >> to this more general setting and that every finitary functor >> on posets has a logicthat is expressive, that is, has >> the Hennessy-Milner property.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraic Methods in Proof Theory</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Advances in Modal Logic 2012
ISBN
978-1-84890-068-4
ISSN
—
e-ISSN
—
Number of pages
18
Pages from-to
368-385
Publisher name
King's College
Place of publication
London
Event location
Copenhagen
Event date
Aug 22, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—