Author:
Bílková Marta,Dostál Matěj
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Adámek, J., Gumm, H.P., Trnková, V.: Presentation of set functors: A coalgebraic perspective. Journal of Logic and Computation 20(5), 991–1015 (2010)
2. Adámek, J., Trnková, V.: Automata and Algebras in Categories. Mathematics and its Applications. Kluwer (1990)
3. Lecture Notes in Mathematics;M. Barr,1970
4. Lecture Notes in Computer Science;M. Bílková,2011
5. Bílková, M., Kurz, A., Petrişan, D., Velebil, J.: Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. (accepted for publication, 2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Inductive Construction for Many-Valued Coalgebraic Modal Logic;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05
2. Expressivity of Many-Valued Modal Logics, Coalgebraically;Logic, Language, Information, and Computation;2016