Publication details

Strongly complete logics for coalgebras


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

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.

More info