×

Found 52 Documents (Results 1–52)

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
Full Text: arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI HAL

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
Full Text: DOI

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

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

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
Full Text: DOI

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
Full Text: DOI

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).
MSC:  03B45 03B70 03G30
PDFBibTeX XMLCite

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: Link

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
Full Text: Link

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
Full Text: Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: Link

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
Full Text: DOI

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

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

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field