Strongly complete logics for coalgebras

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

KURZ Alexander ROSICKÝ Jiří

Year of publication 2012
Type Article in Periodical
Magazine / Source Logical Methods in Computer Science
MU Faculty or unit

Faculty of Science

Citation
Doi http://dx.doi.org/10.2168/LMCS-8(3:14)2012
Field General mathematics
Keywords coalgebra;modal logic;algebraic theroy
Attached files
Description The paper focuses on a uniform account of finitary logics for set-based coalgebras. There is presented a general construction which turns out to be strongly complete.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.