Balco, Samuel; Kurz, Alexander Completeness of nominal PROPs. (English) Zbl 07667098 Log. Methods Comput. Sci. 19, No. 1, Paper No. 8, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Balco} and \textit{A. Kurz}, Log. Methods Comput. Sci. 19, No. 1, Paper No. 8, 38 p. (2023; Zbl 07667098) Full Text: DOI arXiv
Balco, Samuel; Greco, Giuseppe; Kurz, Alexander; Moshier, Andrew; Palmigiano, Alessandra; Tzimoulis, Apostolos First order logic properly displayed. arXiv:2105.06877 Preprint, arXiv:2105.06877 [math.LO] (2021). MSC: 03B10 03B35 03B45 03B47 03F03 03F05 03F07 03G05 03G10 03G15 03G30 06A06 06A11 06D10 06D50 06E15 BibTeX Cite \textit{S. Balco} et al., ``First order logic properly displayed'', Preprint, arXiv:2105.06877 [math.LO] (2021) Full Text: arXiv OA License
de Groot, Jim; Hansen, Helle Hvid; Kurz, Alexander Logic-induced bisimulations. (English) Zbl 07585719 Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 289-308 (2020). MSC: 03B45 PDFBibTeX XMLCite \textit{J. de Groot} et al., in: Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24--28, 2020. London: College Publications. 289--308 (2020; Zbl 07585719) Full Text: arXiv
Balco, Samuel; Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra Software tool support for modular reasoning in modal logics of actions. (English) Zbl 1511.68301 Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 48-67 (2018). MSC: 68V15 03B42 03B45 68V20 PDFBibTeX XMLCite \textit{S. Balco} et al., Lect. Notes Comput. Sci. 10895, 48--67 (2018; Zbl 1511.68301) Full Text: DOI Link
Dahlqvist, Fredrik; Kurz, Alexander The positivication of coalgebraic logics. (English) Zbl 1433.03160 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 9, 15 p. (2017). MSC: 03G30 03B44 03B45 18D20 68T30 PDFBibTeX XMLCite \textit{F. Dahlqvist} and \textit{A. Kurz}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 9, 15 p. (2017; Zbl 1433.03160) Full Text: DOI arXiv
Balan, Adriana; Kurz, Alexander; Velebil, Jiří An institutional approach to positive coalgebraic logic. (English) Zbl 1444.03184 J. Log. Comput. 27, No. 6, 1799-1824 (2017). MSC: 03G30 03B45 68Q65 PDFBibTeX XMLCite \textit{A. Balan} et al., J. Log. Comput. 27, No. 6, 1799--1824 (2017; Zbl 1444.03184) Full Text: DOI
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra Multi-type display calculus for propositional dynamic logic. (English) Zbl 1403.03025 J. Log. Comput. 26, No. 6, 2067-2104 (2016). MSC: 03B42 03F03 03F05 PDFBibTeX XMLCite \textit{S. Frittella} et al., J. Log. Comput. 26, No. 6, 2067--2104 (2016; Zbl 1403.03025) Full Text: DOI arXiv
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta Multi-type display calculus for dynamic epistemic logic. (English) Zbl 1403.03027 J. Log. Comput. 26, No. 6, 2017-2065 (2016). MSC: 03B42 03F03 03F05 PDFBibTeX XMLCite \textit{S. Frittella} et al., J. Log. Comput. 26, No. 6, 2017--2065 (2016; Zbl 1403.03027) Full Text: DOI arXiv
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta A proof-theoretic semantic analysis of dynamic epistemic logic. (English) Zbl 1403.03026 J. Log. Comput. 26, No. 6, 1961-2015 (2016). MSC: 03B42 03F03 03F05 PDFBibTeX XMLCite \textit{S. Frittella} et al., J. Log. Comput. 26, No. 6, 1961--2015 (2016; Zbl 1403.03026) Full Text: DOI arXiv
Babus, Octavian; Kurz, Alexander On the logic of generalised metric spaces. (English) Zbl 1476.03088 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, 136-155 (2016). MSC: 03G30 18F60 PDFBibTeX XMLCite \textit{O. Babus} and \textit{A. Kurz}, Lect. Notes Comput. Sci. 9608, 136--155 (2016; Zbl 1476.03088) Full Text: DOI HAL
Kurz, Alexander; Velebil, Jiří Relation lifting, a survey. (English) Zbl 1344.68167 J. Log. Algebr. Methods Program. 85, No. 4, 475-499 (2016). MSC: 68Q85 03B45 03G30 18A40 68Q65 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{J. Velebil}, J. Log. Algebr. Methods Program. 85, No. 4, 475--499 (2016; Zbl 1344.68167) Full Text: DOI
Doberkat, Ernst-Erich (ed.); Kurz, Alexander (ed.) Foreword: Special issue on coalgebraic logic. (English) Zbl 1372.00100 Math. Struct. Comput. Sci. 27, No. 7, 1108-1110 (2017). MSC: 00B25 03-06 68-06 PDFBibTeX XMLCite \textit{E.-E. Doberkat} (ed.) and \textit{A. Kurz} (ed.), Math. Struct. Comput. Sci. 27, No. 7, 1108--1110 (2015; Zbl 1372.00100) Full Text: DOI
Balan, Adriana; Kurz, Alexander; Velebil, Jiří Positive fragments of coalgebraic logics. (English) Zbl 1337.03024 Log. Methods Comput. Sci. 11, No. 3, Paper No. 18, 51 p. (2015). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{A. Balan} et al., Log. Methods Comput. Sci. 11, No. 3, Paper No. 18, 51 p. (2015; Zbl 1337.03024) Full Text: DOI arXiv
Kurz, Alexander; Petrisan, Daniela Luan; Severi, Paula; De Vries, Fer-Jan Nominal coalgebraic data types with applications to lambda calculus. (English) Zbl 1314.68189 Log. Methods Comput. Sci. 9, No. 4, Paper No. 22, 51 p. (2013). MSC: 68Q65 03B40 18C50 PDFBibTeX XMLCite \textit{A. Kurz} et al., Log. Methods Comput. Sci. 9, No. 4, Paper No. 22, 51 p. (2013; Zbl 1314.68189) Full Text: DOI arXiv
Kurz, Alexander; Palmigiano, Alessandra Epistemic updates on algebras. (English) Zbl 1330.03035 Log. Methods Comput. Sci. 9, No. 4, Paper No. 17, 28 p. (2013). Reviewer: Éric Martin (Sydney) MSC: 03B42 06D50 06D20 06E15 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{A. Palmigiano}, Log. Methods Comput. Sci. 9, No. 4, Paper No. 17, 28 p. (2013; Zbl 1330.03035) Full Text: DOI arXiv
Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra Dynamic epistemic logic displayed. (English) Zbl 1407.03019 Grossi, Davide (ed.) et al., Logic, rationality, and interaction. 4th international workshop, LORI 2013, Hangzhou, China, October 9–12, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8196, 135-148 (2013). MSC: 03B42 PDFBibTeX XMLCite \textit{G. Greco} et al., Lect. Notes Comput. Sci. 8196, 135--148 (2013; Zbl 1407.03019) Full Text: DOI Link
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří Relation lifting, with an application to the many-valued cover modality. (English) Zbl 1287.18008 Log. Methods Comput. Sci. 9, No. 4, Paper No. 8, 48 p. (2013). MSC: 18D20 03B45 03G30 06F07 18C15 18D05 PDFBibTeX XMLCite \textit{M. Bílková} et al., Log. Methods Comput. Sci. 9, No. 4, Paper No. 8, 48 p. (2013; Zbl 1287.18008) Full Text: DOI arXiv
Balan, Adriana; Kurz, Alexander; Velebil, Jiří Positive fragments of coalgebraic logics. (English) Zbl 1394.03035 Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 51-65 (2013). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{A. Balan} et al., Lect. Notes Comput. Sci. 8089, 51--65 (2013; Zbl 1394.03035) Full Text: DOI
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří Expressiveness of positive coalgebraic logic. (English) Zbl 1291.03034 Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 368-385 (2012). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{K. Kapulkin} et al., in: Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22--25, 2012. London: College Publications. 368--385 (2012; Zbl 1291.03034)
Kurz, Alexander; Rosický, Jiří Strongly complete logics for coalgebras. (English) Zbl 1263.03063 Log. Methods Comput. Sci. 8, No. 3, Paper No. 14, 32 p. (2012). Reviewer: Lutz Schröder (Bremen) MSC: 03G30 03B45 03B70 18C10 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{J. Rosický}, Log. Methods Comput. Sci. 8, No. 3, Paper No. 14, 32 p. (2012; Zbl 1263.03063) Full Text: DOI arXiv
Kurz, Alexander; Petrişan, Daniela; Severi, Paula; de Vries, Fer-Jan An alpha-corecursion principle for the infinitary lambda calculus. (English) Zbl 1328.03008 Pattinson, Dirk (ed.) et al., Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32783-4/pbk). Lecture Notes in Computer Science 7399, 130-149 (2012). MSC: 03B40 03G30 18C10 PDFBibTeX XMLCite \textit{A. Kurz} et al., Lect. Notes Comput. Sci. 7399, 130--149 (2012; Zbl 1328.03008) Full Text: DOI
Kupke, Clemens; Kurz, Alexander; Venema, Yde Completeness for the coalgebraic cover modality. (English) Zbl 1261.18006 Log. Methods Comput. Sci. 8, No. 3, Paper No. 2, 76 p. (2012). Reviewer: Anna Labella (Roma) MSC: 18C50 03B45 03G30 PDFBibTeX XMLCite \textit{C. Kupke} et al., Log. Methods Comput. Sci. 8, No. 3, Paper No. 2, 76 p. (2012; Zbl 1261.18006) Full Text: DOI arXiv
Kurz, Alexander; Leal, Raul Modalities in the Stone age: a comparison of coalgebraic logics. (English) Zbl 1250.03126 Theor. Comput. Sci. 430, 88-116 (2012). MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{R. Leal}, Theor. Comput. Sci. 430, 88--116 (2012; Zbl 1250.03126) Full Text: DOI
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří Relation liftings on preorders and posets. (English) Zbl 1343.18003 Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 115-129 (2011). MSC: 18B10 03G30 18A35 18C20 PDFBibTeX XMLCite \textit{M. Bílková} et al., Lect. Notes Comput. Sci. 6859, 115--129 (2011; Zbl 1343.18003) Full Text: DOI arXiv
Velebil, Jiří; Kurz, Alexander Equational presentations of functors and monads. (English) Zbl 1235.18003 Math. Struct. Comput. Sci. 21, No. 2, 363-381 (2011). Reviewer: Dana Piciu (Craiova) MSC: 18C15 03C05 PDFBibTeX XMLCite \textit{J. Velebil} and \textit{A. Kurz}, Math. Struct. Comput. Sci. 21, No. 2, 363--381 (2011; Zbl 1235.18003) Full Text: DOI
Kurz, Alexander; Venema, Yde Coalgebraic Lindström theorems. (English) Zbl 1254.03121 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 292-309 (2010). MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{Y. Venema}, in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 292--309 (2010; Zbl 1254.03121)
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
Kurz, Alexander; Palmigiano, Alessandra; Venema, Yde Editorial. Coalgebra and logic: a brief overview. (English) Zbl 1211.03102 J. Log. Comput. 20, No. 5, 985-990 (2010). MSC: 03G30 18B20 PDFBibTeX XMLCite \textit{A. Kurz} et al., J. Log. Comput. 20, No. 5, 985--990 (2010; Zbl 1211.03102) Full Text: DOI
Kurz, Alexander; Petrişan, Daniela On universal algebra over nominal sets. (English) Zbl 1193.08004 Math. Struct. Comput. Sci. 20, No. 2, 285-318 (2010). MSC: 08A70 03C05 03G30 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Petrişan}, Math. Struct. Comput. Sci. 20, No. 2, 285--318 (2010; Zbl 1193.08004) Full Text: DOI
Kurz, Alexander; Leal, Raul Equational coalgebraic logic. (English) Zbl 1337.03093 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 333-356 (2009). MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{R. Leal}, Electron. Notes Theor. Comput. Sci. 249, 333--356 (2009; Zbl 1337.03093) Full Text: DOI
Kurz, Alexander; Petrişan, Daniela Functorial coalgebraic logic: the case of many-sorted varieties. (English) Zbl 1279.03085 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, 175-194 (2008). MSC: 03G30 03B45 08C05 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Petrişan}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 175--194 (2008; Zbl 1279.03085) Full Text: DOI
Kupke, Clemens; Kurz, Alexander; Venema, Yde Completeness of the finitary Moss logic. (English) Zbl 1233.03029 Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 193-217 (2008). Reviewer: Max A. Freund (San José) MSC: 03B45 03B70 03G30 PDFBibTeX XMLCite \textit{C. Kupke} et al., in: Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9--12, 2008. London: College Publications. 193--217 (2008; Zbl 1233.03029)
Kurz, Alexander; Rosický, Jiří The Goldblatt-Thomason theorem for coalgebras. (English) Zbl 1214.03017 Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 342-355 (2007). MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{J. Rosický}, Lect. Notes Comput. Sci. 4624, 342--355 (2007; Zbl 1214.03017) Full Text: DOI Link
Bezhanishvili, N.; Kurz, A. Free modal algebras: a coalgebraic perspective. (English) Zbl 1214.03052 Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 143-157 (2007). MSC: 03G25 03B45 PDFBibTeX XMLCite \textit{N. Bezhanishvili} and \textit{A. Kurz}, Lect. Notes Comput. Sci. 4624, 143--157 (2007; Zbl 1214.03052) Full Text: DOI
Bonsangue, Marcello M.; Kurz, Alexander Presenting functors by operations and equations. (English) Zbl 1180.68182 Aceto, Luca (ed.) et al., Foundations of software science and computation structures. 9th international conference, FOSSACS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33045-3/pbk). Lecture Notes in Computer Science 3921, 172-186 (2006). MSC: 68Q65 03B70 68Q55 PDFBibTeX XMLCite \textit{M. M. Bonsangue} and \textit{A. Kurz}, Lect. Notes Comput. Sci. 3921, 172--186 (2006; Zbl 1180.68182) Full Text: DOI
Kupke, C.; Kurz, A.; Pattinson, D. Ultrafilter extensions for coalgebras. (English) Zbl 1151.03357 Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 263-277 (2005). MSC: 03G30 03B45 68Q85 PDFBibTeX XMLCite \textit{C. Kupke} et al., Lect. Notes Comput. Sci. 3629, 263--277 (2005; Zbl 1151.03357) Full Text: DOI
Bonsangue, Marcello M.; Kurz, Alexander Duality for logics of transition systems. (English) Zbl 1119.03021 Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 455-469 (2005). MSC: 03B70 03B45 68Q65 PDFBibTeX XMLCite \textit{M. M. Bonsangue} and \textit{A. Kurz}, Lect. Notes Comput. Sci. 3441, 455--469 (2005; Zbl 1119.03021) Full Text: DOI
Kurz, Alexander; Pattinson, Dirk Coalgebraic modal logic of finite rank. (English) Zbl 1135.18300 Math. Struct. Comput. Sci. 15, No. 3, 453-473 (2005). MSC: 18A15 16W30 03B45 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Pattinson}, Math. Struct. Comput. Sci. 15, No. 3, 453--473 (2005; Zbl 1135.18300) Full Text: DOI
Kurz, Alexander; Rosický, Jiří Operations and equations for coalgebras. (English) Zbl 1066.08005 Math. Struct. Comput. Sci. 15, No. 1, 149-166 (2005). Reviewer: Jānis Cīrulis (Riga) MSC: 08A70 18C10 68Q65 03B45 68Q85 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{J. Rosický}, Math. Struct. Comput. Sci. 15, No. 1, 149--166 (2005; Zbl 1066.08005) Full Text: DOI
Kurz, Alexander; Palmigiano, Alessandra Coalgebras and modal expansions of logics. (English) Zbl 1271.03032 Adámek, J. (ed.) et al., Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27–29, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 106, 243-259 (2004). MSC: 03B45 03G30 18C15 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{A. Palmigiano}, Electron. Notes Theor. Comput. Sci. 106, 243--259 (2004; Zbl 1271.03032) Full Text: Link
Kupke, Clemens; Kurz, Alexander; Pattinson, Dirk Algebraic semantics for coalgebraic logics. (English) Zbl 1271.03031 Adámek, J. (ed.) et al., Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27–29, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 106, 219-241 (2004). MSC: 03B45 03G30 18C50 PDFBibTeX XMLCite \textit{C. Kupke} et al., Electron. Notes Theor. Comput. Sci. 106, 219--241 (2004; Zbl 1271.03031) Full Text: Link
Kupke, Clemens; Kurz, Alexander; Venema, Yde Stone coalgebras. (English) Zbl 1075.68053 Theor. Comput. Sci. 327, No. 1-2, 109-134 (2004). MSC: 68Q65 03B45 03G25 18C50 PDFBibTeX XMLCite \textit{C. Kupke} et al., Theor. Comput. Sci. 327, No. 1--2, 109--134 (2004; Zbl 1075.68053) Full Text: DOI
Kupke, Clemens; Kurz, Alexander; Venema, Yde Stone coalgebras. (English) Zbl 1270.03142 Gumm, H. Peter (ed.), CMCS’03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5–6, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 82, No. 1, 170-190 (2003). MSC: 03G30 03B45 06E15 PDFBibTeX XMLCite \textit{C. Kupke} et al., Electron. Notes Theor. Comput. Sci. 82, No. 1, 170--190 (2003; Zbl 1270.03142) Full Text: Link
Kurz, Alexander Notions of behaviour and reachable-part and their institutions. (English) Zbl 1278.68206 Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 312-327 (2003). MSC: 68Q65 03G30 18B20 PDFBibTeX XMLCite \textit{A. Kurz}, Lect. Notes Comput. Sci. 2755, 312--327 (2003; Zbl 1278.68206) Full Text: DOI
Kurz, Alexander; Rosický, Jiří Modal predicates and coequations. (English) Zbl 1270.18016 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 156-175 (2002). MSC: 18C20 03G30 68Q65 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{J. Rosický}, Electron. Notes Theor. Comput. Sci. 65, No. 1, 156--175 (2002; Zbl 1270.18016) Full Text: DOI
Kurz, Alexander; Pattinson, Dirk Definability, canonical models, compactness for finitary coalgebraic modal logic. (English) Zbl 1270.03143 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 135-155 (2002). MSC: 03G30 03B45 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Pattinson}, Electron. Notes Theor. Comput. Sci. 65, No. 1, 135--155 (2002; Zbl 1270.03143) Full Text: DOI
Kurz, Alexander Logics admitting final semantics. (English) Zbl 1077.03510 Nielsen, Mogens (ed.) et al., Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43366-X). Lect. Notes Comput. Sci. 2303, 238-249 (2002). MSC: 03B70 18C50 68Q60 68Q65 PDFBibTeX XMLCite \textit{A. Kurz}, Lect. Notes Comput. Sci. 2303, 238--249 (2002; Zbl 1077.03510) Full Text: Link
Kurz, Alexander Modal rules are co-implications. (English) Zbl 1260.68243 Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 241-253 (2001). MSC: 68Q65 03B45 PDFBibTeX XMLCite \textit{A. Kurz}, Electron. Notes Theor. Comput. Sci. 44, No. 1, 241--253 (2001; Zbl 1260.68243) Full Text: DOI
Kurz, Alexander A co-variety-theorem for modal logic. (English) Zbl 0993.03019 Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 367-380 (2001). MSC: 03B45 03B70 08A70 PDFBibTeX XMLCite \textit{A. Kurz}, in: Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML'98), Uppsala, Sweden, October 16--18, 1998. Stanford, CA: CSLI Publications. 367--380 (2001; Zbl 0993.03019)
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander On the duality between observability and reachability. (English) Zbl 0986.68018 Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 72-87 (2001). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{M. Bidoit} et al., Lect. Notes Comput. Sci. 2030, 72--87 (2001; Zbl 0986.68018)
Kurz, A. Specifying coalgebras with modal logic. (English) Zbl 0974.68034 Theor. Comput. Sci. 260, No. 1-2, 119-138 (2001). MSC: 68N19 68Q60 03B45 PDFBibTeX XMLCite \textit{A. Kurz}, Theor. Comput. Sci. 260, No. 1--2, 119--138 (2001; Zbl 0974.68034) Full Text: DOI
Kurz, Alexander Logics for coalgebras and applications to computer science. (English) Zbl 0995.08001 München: Univ. München, Fakultät für Mathematik und Informatik, 199 p. (2000). MSC: 08A70 68Q60 03B70 03C05 08C05 03B45 PDFBibTeX XMLCite \textit{A. Kurz}, Logics for coalgebras and applications to computer science. München: Univ. München, Fakultät für Mathematik und Informatik (2000; Zbl 0995.08001)