Enqvist, Sebastian; Goranko, Valentin The temporal logic of coalitional goal assignments in concurrent multiplayer games. (English) Zbl 1505.03048 ACM Trans. Comput. Log. 23, No. 4, Article No. 21, 58 p. (2022). MSC: 03B44 03B70 68Q85 91A06 PDFBibTeX XMLCite \textit{S. Enqvist} and \textit{V. Goranko}, ACM Trans. Comput. Log. 23, No. 4, Article No. 21, 58 p. (2022; Zbl 1505.03048) Full Text: DOI arXiv
Kupke, Clemens Coalgebraic logics & duality. (English) Zbl 1520.03017 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 6-12 (2018). MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{C. Kupke}, Lect. Notes Comput. Sci. 11202, 6--12 (2018; Zbl 1520.03017) Full Text: DOI HAL
Dahlqvist, Fredrik; Pym, David Coalgebraic completeness-via-canonicity for distributive substructural logics. (English) Zbl 1453.03020 J. Log. Algebr. Methods Program. 93, 1-22 (2017). MSC: 03B47 03G30 PDFBibTeX XMLCite \textit{F. Dahlqvist} and \textit{D. Pym}, J. Log. Algebr. Methods Program. 93, 1--22 (2017; Zbl 1453.03020) Full Text: DOI arXiv
Dahlqvist, Fredrik Coalgebraic completeness-via-canonicity. Principles and applications. (English) Zbl 1476.03089 Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 174-194 (2016). MSC: 03G30 18A15 PDFBibTeX XMLCite \textit{F. Dahlqvist}, Lect. Notes Comput. Sci. 9608, 174--194 (2016; Zbl 1476.03089) Full Text: DOI
Chen, Liang-Ting; Jung, Achim On a categorical framework for coalgebraic modal logic. (English) Zbl 1337.03091 Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 109-128, electronic only (2014). MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{L.-T. Chen} and \textit{A. Jung}, Electron. Notes Theor. Comput. Sci. 308, 109--128 (2014; Zbl 1337.03091) Full Text: DOI
Kupke, Clemens; Pattinson, Dirk Coalgebraic semantics of modal logics: an overview. (English) Zbl 1360.03068 Theor. Comput. Sci. 412, No. 38, 5070-5094 (2011). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{C. Kupke} and \textit{D. Pattinson}, Theor. Comput. Sci. 412, No. 38, 5070--5094 (2011; Zbl 1360.03068) Full Text: DOI
Cîrstea, Corina Maximal traces and path-based coalgebraic temporal logics. (English) Zbl 1254.68147 Theor. Comput. Sci. 412, No. 38, 5025-5042 (2011). Reviewer: Lutz Schröder (Bremen) MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{C. Cîrstea}, Theor. Comput. Sci. 412, No. 38, 5025--5042 (2011; Zbl 1254.68147) Full Text: DOI
Schröder, Lutz; Pattinson, Dirk Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. (English) Zbl 1260.03061 Math. Struct. Comput. Sci. 21, No. 2, 235-266 (2011). MSC: 03B70 03B45 03B25 68Q65 PDFBibTeX XMLCite \textit{L. Schröder} and \textit{D. Pattinson}, Math. Struct. Comput. Sci. 21, No. 2, 235--266 (2011; Zbl 1260.03061) Full Text: DOI
Cîrstea, Corina Generic infinite traces and path-based coalgebraic temporal logics. (English) Zbl 1247.68173 Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 83-103 (2010). MSC: 68Q65 03B44 PDFBibTeX XMLCite \textit{C. Cîrstea}, Electron. Notes Theor. Comput. Sci. 264, No. 2, 83--103 (2010; Zbl 1247.68173) Full Text: DOI
Myers, Robert S. R.; Pattinson, Dirk Hybrid logic with the difference modality for generalisations of graphs. (English) Zbl 1215.03036 J. Appl. Log. 8, No. 4, 441-458 (2010). MSC: 03B45 PDFBibTeX XMLCite \textit{R. S. R. Myers} and \textit{D. Pattinson}, J. Appl. Log. 8, No. 4, 441--458 (2010; Zbl 1215.03036) Full Text: DOI
Kurz, Alexander; Petrişan, Daniela Presenting functors on many-sorted varieties and applications. (English) Zbl 1252.18009 Inf. Comput. 208, No. 12, 1421-1446 (2010). MSC: 18C05 03G30 08C05 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Petrişan}, Inf. Comput. 208, No. 12, 1421--1446 (2010; Zbl 1252.18009) Full Text: DOI
Jacobs, Bart Coalgebraic trace semantics for combined possibilitistic and probabilistic systems. (English) Zbl 1279.68232 Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 131-152 (2008). MSC: 68Q65 18C10 PDFBibTeX XMLCite \textit{B. Jacobs}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 131--152 (2008; Zbl 1279.68232) Full Text: DOI
Cîrstea, Corina; Sadrzadeh, Mehrnoosh Modular games for coalgebraic fixed point logics. (English) Zbl 1279.03056 Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 71-92 (2008). MSC: 03B70 03B45 91A43 PDFBibTeX XMLCite \textit{C. Cîrstea} and \textit{M. Sadrzadeh}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 71--92 (2008; Zbl 1279.03056) Full Text: DOI