Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "coalgebraic logic"
download as .bib file
@article{DBLP:journals/corr/abs-2403-06177,
author = {Andr{\'{e}}s Gallardo and
Ignacio D. Viglizzo},
title = {Coalgebraic Modal Logic for Dynamic Systems with Uncertainty},
journal = {CoRR},
volume = {abs/2403.06177},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06177},
doi = {10.48550/ARXIV.2403.06177},
eprinttype = {arXiv},
eprint = {2403.06177},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LinL23,
author = {Chun{-}Yu Lin and
Churn{-}Jung Liau},
title = {Many-valued coalgebraic modal logic: One-step completeness and finite
model property},
journal = {Fuzzy Sets Syst.},
volume = {467},
pages = {108564},
year = {2023},
url = {https://doi.org/10.1016/j.fss.2023.108564},
doi = {10.1016/J.FSS.2023.108564},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/LinL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/0005P23,
author = {Alexander Kurz and
Wolfgang Poiger},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
series = {LIPIcs},
volume = {270},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.17},
doi = {10.4230/LIPICS.CALCO.2023.17},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/0005P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/LinL23,
author = {Chun{-}Yu Lin and
Churn{-}Jung Liau},
title = {An Inductive Construction for Many-Valued Coalgebraic Modal Logic},
booktitle = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2023, Matsue, Japan, May 22-24, 2023},
pages = {36--41},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISMVL57333.2023.00018},
doi = {10.1109/ISMVL57333.2023.00018},
timestamp = {Wed, 28 Jun 2023 15:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/LinL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14581,
author = {Alexander Kurz and
Wolfgang Poiger and
Bruno Teheux},
title = {Many-valued coalgebraic logic over semi-primal varieties},
journal = {CoRR},
volume = {abs/2308.14581},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14581},
doi = {10.48550/ARXIV.2308.14581},
eprinttype = {arXiv},
eprint = {2308.14581},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16276,
author = {Litan Kumar Das and
Kumar Sankar Ray and
Prakash Chandra Mali},
title = {Bi-coalgebraic view of Fitting's Heyting-valued modal logic},
journal = {CoRR},
volume = {abs/2312.16276},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.16276},
doi = {10.48550/ARXIV.2312.16276},
eprinttype = {arXiv},
eprint = {2312.16276},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BezhanishviliGV22,
author = {Nick Bezhanishvili and
Jim de Groot and
Yde Venema},
title = {Coalgebraic Geometric Logic: Basic Theory},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/LMCS-18(4:10)2022},
doi = {10.46298/LMCS-18(4:10)2022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BezhanishviliGV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KupkePS22,
author = {Clemens Kupke and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal
Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {2},
pages = {11:1--11:34},
year = {2022},
url = {https://doi.org/10.1145/3501300},
doi = {10.1145/3501300},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KupkePS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BeoharKKM22,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Christina Mika{-}Michalski},
editor = {Helle Hvid Hansen and
Fabio Zanasi},
title = {Predicate and Relation Liftings for Coalgebras with Side Effects:
An Application in Coalgebraic Modal Logic},
booktitle = {Coalgebraic Methods in Computer Science - 16th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2022, Colocated with {ETAPS} 2022, Munich, Germany,
April 2-3, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13225},
pages = {1--22},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10736-8\_1},
doi = {10.1007/978-3-031-10736-8\_1},
timestamp = {Wed, 27 Jul 2022 22:15:46 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/BeoharKKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00448,
author = {Fatemeh Seifan and
Lutz Schr{\"{o}}der and
Dirk Pattinson},
title = {Uniform Interpolation in Coalgebraic Modal Logic},
journal = {CoRR},
volume = {abs/2205.00448},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00448},
doi = {10.48550/ARXIV.2205.00448},
eprinttype = {arXiv},
eprint = {2205.00448},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13387,
author = {Litan Kumar Das and
Kumar Sankar Ray and
Prakash Chandra Mali},
title = {Coalgebraic Fuzzy geometric logic},
journal = {CoRR},
volume = {abs/2205.13387},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13387},
doi = {10.48550/ARXIV.2205.13387},
eprinttype = {arXiv},
eprint = {2205.13387},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-14688,
author = {Chun{-}Yu Lin and
Churn{-}Jung Liau},
title = {An Inductive Construction for Many-Valued Coalgebraic Modal Logic},
journal = {CoRR},
volume = {abs/2209.14688},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.14688},
doi = {10.48550/ARXIV.2209.14688},
eprinttype = {arXiv},
eprint = {2209.14688},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GuZ21,
author = {Tao Gu and
Fabio Zanasi},
title = {Coalgebraic Semantics for Probabilistic Logic Programming},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7365},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GuZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09911,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Christina Mika{-}Michalski},
title = {Coalgebraic modal logic and games for coalgebras with side effects},
journal = {CoRR},
volume = {abs/2110.09911},
year = {2021},
url = {https://arxiv.org/abs/2110.09911},
eprinttype = {arXiv},
eprint = {2110.09911},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-09911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ForsterS20,
author = {Jonas Forster and
Lutz Schr{\"{o}}der},
editor = {Nicola Olivetti and
Rineke Verbrugge and
Sara Negri and
Gabriel Sandu},
title = {Non-Iterative Modal Logics Are Coalgebraic},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
August 24-28, 2020},
pages = {229--248},
publisher = {College Publications},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/Forster-Schroeder.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ForsterS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-05578,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
title = {Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic
Characterisations},
journal = {CoRR},
volume = {abs/2005.05578},
year = {2020},
url = {https://arxiv.org/abs/2005.05578},
eprinttype = {arXiv},
eprint = {2005.05578},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-05578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05396,
author = {Jonas Forster and
Lutz Schr{\"{o}}der},
title = {Non-iterative Modal Logics are Coalgebraic},
journal = {CoRR},
volume = {abs/2006.05396},
year = {2020},
url = {https://arxiv.org/abs/2006.05396},
eprinttype = {arXiv},
eprint = {2006.05396},
timestamp = {Sat, 13 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-00971,
author = {Clemens Kupke and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal
Logics},
journal = {CoRR},
volume = {abs/2009.00971},
year = {2020},
url = {https://arxiv.org/abs/2009.00971},
eprinttype = {arXiv},
eprint = {2009.00971},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-03916,
author = {Tao Gu and
Fabio Zanasi},
title = {Coalgebraic Semantics for Probabilistic Logic Programming},
journal = {CoRR},
volume = {abs/2012.03916},
year = {2020},
url = {https://arxiv.org/abs/2012.03916},
eprinttype = {arXiv},
eprint = {2012.03916},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-03916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-05604,
author = {Chun{-}Yu Lin and
Churn{-}Jung Liau},
title = {On Coalgebraic Many-Valued Modal Logic},
journal = {CoRR},
volume = {abs/2012.05604},
year = {2020},
url = {https://arxiv.org/abs/2012.05604},
eprinttype = {arXiv},
eprint = {2012.05604},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-05604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniMM19,
author = {Roberto Bruni and
Ugo Montanari and
Giorgio Mossa},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {A Coalgebraic Approach to Unification Semantics of Logic Programming},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {223--240},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_13},
doi = {10.1007/978-3-030-31175-9\_13},
timestamp = {Sat, 09 Apr 2022 12:46:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BruniMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BezhanishviliGV19,
author = {Nick Bezhanishvili and
Jim de Groot and
Yde Venema},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {Coalgebraic Geometric Logic},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {7:1--7:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.7},
doi = {10.4230/LIPICS.CALCO.2019.7},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BezhanishviliGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GuZ19,
author = {Tao Gu and
Fabio Zanasi},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {A Coalgebraic Perspective on Probabilistic Logic Programming},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {10:1--10:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.10},
doi = {10.4230/LIPICS.CALCO.2019.10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/GuZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LitakPSS18,
author = {Tadeusz Litak and
Dirk Pattinson and
Katsuhiko Sano and
Lutz Schr{\"{o}}der},
title = {Model Theory and Proof Theory of Coalgebraic Predicate Logic},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:22)2018},
doi = {10.23638/LMCS-14(1:22)2018},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LitakPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SchroderV18,
author = {Lutz Schr{\"{o}}der and
Yde Venema},
title = {Completeness of Flat Coalgebraic Fixpoint Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {4:1--4:34},
year = {2018},
url = {https://doi.org/10.1145/3157055},
doi = {10.1145/3157055},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/SchroderV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/Kupke18,
author = {Clemens Kupke},
editor = {Corina C{\^{\i}}rstea},
title = {Coalgebraic Logics {\&} Duality},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11202},
pages = {6--12},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00389-0\_2},
doi = {10.1007/978-3-030-00389-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/Kupke18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-07288,
author = {Fredrik Dahlqvist and
Alexander Kurz},
title = {The positivication of coalgebraic logics},
journal = {CoRR},
volume = {abs/1812.07288},
year = {2018},
url = {http://arxiv.org/abs/1812.07288},
eprinttype = {arXiv},
eprint = {1812.07288},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-07288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DahlqvistP17,
author = {Fredrik Dahlqvist and
David J. Pym},
title = {Coalgebraic completeness-via-canonicity for distributive substructural
logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {93},
pages = {1--22},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.07.002},
doi = {10.1016/J.JLAMP.2017.07.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DahlqvistP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalanKV17,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {An institutional approach to positive coalgebraic logic},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1799--1824},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv074},
doi = {10.1093/LOGCOM/EXV074},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BalanKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SchroderPL17,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson and
Tadeusz Litak},
title = {A Van Benthem/Rosen theorem for coalgebraic predicate logic},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {749--773},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv043},
doi = {10.1093/LOGCOM/EXV043},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SchroderPL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatK17,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Foreword: special issue on coalgebraic logic},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {7},
pages = {1108--1110},
year = {2017},
url = {https://doi.org/10.1017/S096012951500047X},
doi = {10.1017/S096012951500047X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BakhtiariH17,
author = {Zeinab Bakhtiari and
Helle Hvid Hansen},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {Bisimulation for Weakly Expressive Coalgebraic Modal Logics},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {4:1--4:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.4},
doi = {10.4230/LIPICS.CALCO.2017.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BakhtiariH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/DahlqvistK17,
author = {Fredrik Dahlqvist and
Alexander Kurz},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {The Positivication of Coalgebraic Logics},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {9:1--9:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.9},
doi = {10.4230/LIPICS.CALCO.2017.9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/DahlqvistK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/SeifanSP17,
author = {Fatemeh Seifan and
Lutz Schr{\"{o}}der and
Dirk Pattinson},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {Uniform Interpolation in Coalgebraic Modal Logic},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.21},
doi = {10.4230/LIPICS.CALCO.2017.21},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/SeifanSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Barbosa17,
author = {Lu{\'{\i}}s Soares Barbosa},
editor = {Alexandre Madeira and
Mario R. F. Benevides},
title = {Layered Logics, Coalgebraically},
booktitle = {Dynamic Logic. New Trends and Applications - First International Workshop,
{DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10669},
pages = {55--63},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73579-5\_4},
doi = {10.1007/978-3-319-73579-5\_4},
timestamp = {Sat, 19 Oct 2019 20:06:19 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Barbosa17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BastiCV17,
author = {Gianfranco Basti and
Antonio Capolupo and
Giuseppe Vitiello},
title = {Quantum Field Theory and Coalgebraic Logic in Theoretical Computer
Science},
journal = {CoRR},
volume = {abs/1701.00527},
year = {2017},
url = {http://arxiv.org/abs/1701.00527},
eprinttype = {arXiv},
eprint = {1701.00527},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BastiCV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KlinR16,
author = {Bartek Klin and
Jurriaan Rot},
title = {Coalgebraic trace semantics via forgetful logics},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {4},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(4:10)2016},
doi = {10.2168/LMCS-12(4:10)2016},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KlinR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KomendantskayaP16,
author = {Ekaterina Komendantskaya and
John Power and
Martin Schmidt},
title = {Coalgebraic logic programming: from Semantics to Implementation},
journal = {J. Log. Comput.},
volume = {26},
number = {2},
pages = {745--783},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu026},
doi = {10.1093/LOGCOM/EXU026},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KomendantskayaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/EnqvistSV16,
author = {Sebastian Enqvist and
Fatemeh Seifan and
Yde Venema},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Completeness for Coalgebraic Fixpoint Logic},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {7:1--7:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.7},
doi = {10.4230/LIPICS.CSL.2016.7},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/EnqvistSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BilkovaD16,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Matej Dost{\'{a}}l},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {Expressivity of Many-Valued Modal Logics, Coalgebraically},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {109--124},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_8},
doi = {10.1007/978-3-662-52921-8\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BilkovaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cirstea16,
author = {Corina C{\^{\i}}rstea},
title = {A Coalgebraic Approach to Quantitative Linear Time Logics},
journal = {CoRR},
volume = {abs/1612.07844},
year = {2016},
url = {http://arxiv.org/abs/1612.07844},
eprinttype = {arXiv},
eprint = {1612.07844},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cirstea16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Dahlqvist15,
author = {Fredrik Dahlqvist},
title = {Completeness-via-canonicity in coalgebraic logics},
school = {Imperial College London, {UK}},
year = {2015},
url = {https://hdl.handle.net/10044/1/27689},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Dahlqvist15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BalanKV14,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Positive fragments of coalgebraic logics},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:18)2015},
doi = {10.2168/LMCS-11(3:18)2015},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BalanKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DahlqvistP15,
author = {Fredrik Dahlqvist and
David J. Pym},
editor = {Wolfram Kahl and
Michael Winter and
Jos{\'{e}} Nuno Oliveira},
title = {Completeness via Canonicity for Distributive Substructural Logics:
{A} Coalgebraic Perspective},
booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9348},
pages = {119--135},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24704-5\_8},
doi = {10.1007/978-3-319-24704-5\_8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DahlqvistP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Cirstea15,
author = {Corina C{\^{\i}}rstea},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Canonical Coalgebraic Linear Time Logics},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {66--85},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.66},
doi = {10.4230/LIPICS.CALCO.2015.66},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/conf/calco/Cirstea15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MartiSV15,
author = {Johannes Marti and
Fatemeh Seifan and
Yde Venema},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Uniform Interpolation for Coalgebraic Fixpoint Logic},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {238--252},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.238},
doi = {10.4230/LIPICS.CALCO.2015.238},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/MartiSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KlinR15,
author = {Bartek Klin and
Jurriaan Rot},
editor = {Andrew M. Pitts},
title = {Coalgebraic Trace Semantics via Forgetful Logics},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {151--166},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_10},
doi = {10.1007/978-3-662-46678-0\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KlinR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HansenK15,
author = {Helle Hvid Hansen and
Clemens Kupke},
editor = {Ralph Matthes and
Matteo Mio},
title = {Weak Completeness of Coalgebraic Dynamic Logics},
booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer
Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015},
series = {{EPTCS}},
volume = {191},
pages = {90--104},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.191.9},
doi = {10.4204/EPTCS.191.9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HansenK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Dahlqvist15,
author = {Fredrik Dahlqvist},
title = {Completeness-via-canonicity for coalgebraic logics},
journal = {CoRR},
volume = {abs/1510.09095},
year = {2015},
url = {http://arxiv.org/abs/1510.09095},
eprinttype = {arXiv},
eprint = {1510.09095},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Dahlqvist15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DahlqvistP15,
author = {Fredrik Dahlqvist and
David J. Pym},
title = {Completeness via canonicity for distributive substructural logics:
a coalgebraic perspective},
journal = {CoRR},
volume = {abs/1508.04940},
year = {2015},
url = {http://arxiv.org/abs/1508.04940},
eprinttype = {arXiv},
eprint = {1508.04940},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DahlqvistP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MartiSV15,
author = {Johannes Marti and
Fatemeh Seifan and
Yde Venema},
title = {Uniform Interpolation for Coalgebraic Fixpoint Logic},
journal = {CoRR},
volume = {abs/1503.02319},
year = {2015},
url = {http://arxiv.org/abs/1503.02319},
eprinttype = {arXiv},
eprint = {1503.02319},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MartiSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Chen14c,
author = {Liang{-}Ting Chen},
title = {On a purely categorical framework for coalgebraic modal logic},
school = {University of Birmingham, {UK}},
year = {2014},
url = {http://etheses.bham.ac.uk/4882/},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/ethos/Chen14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BilkovaPV14,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alessandra Palmigiano and
Yde Venema},
title = {Proof systems for Moss' coalgebraic logic},
journal = {Theor. Comput. Sci.},
volume = {549},
pages = {36--60},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.06.018},
doi = {10.1016/J.TCS.2014.06.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BilkovaPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GorinS14,
author = {Daniel Gor{\'{\i}}n and
Lutz Schr{\"{o}}der},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {254--273},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Gorin-Schroeder.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GorinS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GorinPSWW14,
author = {Daniel Gor{\'{\i}}n and
Dirk Pattinson and
Lutz Schr{\"{o}}der and
Florian Widmann and
Thorsten Wi{\ss}mann},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Cool - {A} Generic Reasoner for Coalgebraic Hybrid Logics (System
Description)},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {396--402},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_31},
doi = {10.1007/978-3-319-08587-6\_31},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GorinPSWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/EnqvistS14,
author = {Sebastian Enqvist and
Joshua Sack},
editor = {Marcello M. Bonsangue},
title = {A Coalgebraic View of Characteristic Formulas in Equational Modal
Fixed Point Logics},
booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8446},
pages = {98--117},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44124-4\_6},
doi = {10.1007/978-3-662-44124-4\_6},
timestamp = {Sat, 19 Oct 2019 20:27:44 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/EnqvistS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Cirstea14,
author = {Corina C{\^{\i}}rstea},
editor = {Anca Muscholl},
title = {A Coalgebraic Approach to Linear-Time Logics},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {426--440},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_28},
doi = {10.1007/978-3-642-54830-7\_28},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Cirstea14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/HansenKL14,
author = {Helle Hvid Hansen and
Clemens Kupke and
Raul Andres Leal},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {281--295},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_22},
doi = {10.1007/978-3-662-44602-7\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/HansenKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenJ14,
author = {Liang{-}Ting Chen and
Achim Jung},
editor = {Bart Jacobs and
Alexandra Silva and
Sam Staton},
title = {On a Categorical Framework for Coalgebraic Modal Logic},
booktitle = {Proceedings of the 30th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {308},
pages = {109--128},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.10.007},
doi = {10.1016/J.ENTCS.2014.10.007},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Venema14,
author = {Yde Venema},
editor = {Alexandru Baltag and
Sonja Smets},
title = {Expressiveness Modulo Bisimilarity: {A} Coalgebraic Perspective},
booktitle = {Johan van Benthem on Logic and Information Dynamics},
pages = {33--65},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06025-5\_2},
doi = {10.1007/978-3-319-06025-5\_2},
timestamp = {Mon, 26 Jun 2023 08:47:47 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Venema14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GorinS14,
author = {Daniel Gor{\'{\i}}n and
Lutz Schr{\"{o}}der},
title = {Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics},
journal = {CoRR},
volume = {abs/1401.6359},
year = {2014},
url = {http://arxiv.org/abs/1401.6359},
eprinttype = {arXiv},
eprint = {1401.6359},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GorinS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HerasKS14,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya and
Martin Schmidt},
title = {Guarding (Co)Recursion in Coalgebraic Logic Programming},
journal = {CoRR},
volume = {abs/1402.3690},
year = {2014},
url = {http://arxiv.org/abs/1402.3690},
eprinttype = {arXiv},
eprint = {1402.3690},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HerasKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Wilkinson13,
author = {Toby Wilkinson},
title = {Enriched coalgebraic modal logic},
school = {University of Southampton, {UK}},
year = {2013},
url = {http://eprints.soton.ac.uk/354112/},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Wilkinson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HofmannM13,
author = {Dirk Hofmann and
Manuel A. Martins},
title = {On a coalgebraic view on Logic},
journal = {J. Log. Comput.},
volume = {23},
number = {5},
pages = {1097--1106},
year = {2013},
url = {https://doi.org/10.1093/logcom/exs063},
doi = {10.1093/LOGCOM/EXS063},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HofmannM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/MartinsMB13,
author = {Manuel A. Martins and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
title = {A Coalgebraic Perspective on Logical Interpretations},
journal = {Stud Logica},
volume = {101},
number = {4},
pages = {783--825},
year = {2013},
url = {https://doi.org/10.1007/s11225-013-9498-z},
doi = {10.1007/S11225-013-9498-Z},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/MartinsMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BalanKV13,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
editor = {Reiko Heckel and
Stefan Milius},
title = {Positive Fragments of Coalgebraic Logics},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {51--65},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_6},
doi = {10.1007/978-3-642-40206-7\_6},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BalanKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BilkovaD13,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Matej Dost{\'{a}}l},
editor = {Reiko Heckel and
Stefan Milius},
title = {Many-Valued Relation Lifting and Moss' Coalgebraic Logic},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {66--79},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_7},
doi = {10.1007/978-3-642-40206-7\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BilkovaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BonchiZ13,
author = {Filippo Bonchi and
Fabio Zanasi},
editor = {Reiko Heckel and
Stefan Milius},
title = {Saturated Semantics for Coalgebraic Logic Programming},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {80--94},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_8},
doi = {10.1007/978-3-642-40206-7\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BonchiZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GorinS13,
author = {Daniel Gor{\'{\i}}n and
Lutz Schr{\"{o}}der},
editor = {Reiko Heckel and
Stefan Milius},
title = {Simulations and Bisimulations for Coalgebraic Modal Logics},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {253--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_19},
doi = {10.1007/978-3-642-40206-7\_19},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/GorinS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DahlqvistP13,
author = {Fredrik Dahlqvist and
Dirk Pattinson},
editor = {Frank Pfenning},
title = {Some Sahlqvist Completeness Results for Coalgebraic Logics},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {193--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_13},
doi = {10.1007/978-3-642-37075-5\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DahlqvistP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CarreiroGS13,
author = {Facundo Carreiro and
Daniel Gor{\'{\i}}n and
Lutz Schr{\"{o}}der},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Coalgebraic Announcement Logics},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {101--112},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_12},
doi = {10.1007/978-3-642-39212-2\_12},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CarreiroGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Tews13,
author = {Hendrik Tews},
editor = {Didier Galmiche and
Dominique Larchey{-}Wendling},
title = {Formalizing Cut Elimination of Coalgebraic Logics in Coq},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
International Conference, {TABLEAUX} 2013, Nancy, France, September
16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8123},
pages = {257--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40537-2\_22},
doi = {10.1007/978-3-642-40537-2\_22},
timestamp = {Mon, 16 Sep 2019 15:24:38 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Tews13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden14a,
author = {Daniel Marsden},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Fibred Coalgebraic Logic and Quantum Protocols},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {90--99},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.9},
doi = {10.4204/EPTCS.171.9},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Marsden14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KomendantskayaSH14,
author = {Ekaterina Komendantskaya and
Martin Schmidt and
J{\'{o}}nathan Heras},
editor = {John Power and
Cai Wingfield},
title = {Exploiting Parallelism in Coalgebraic Logic Programming},
booktitle = {Proceedings of the Workshop on Algebra, Coalgebra and Topology, {WACT}
2013, Bath, UK, March 1, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {303},
pages = {121--148},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.02.007},
doi = {10.1016/J.ENTCS.2014.02.007},
timestamp = {Tue, 22 Nov 2022 11:40:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KomendantskayaSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KomendantskayaPS13,
author = {Ekaterina Komendantskaya and
John Power and
Martin Schmidt},
title = {Coalgebraic Logic Programming: from Semantics to Implementation},
journal = {CoRR},
volume = {abs/1312.6568},
year = {2013},
url = {http://arxiv.org/abs/1312.6568},
eprinttype = {arXiv},
eprint = {1312.6568},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KomendantskayaPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KomendantskayaSH13,
author = {Ekaterina Komendantskaya and
Martin Schmidt and
J{\'{o}}nathan Heras},
title = {Exploiting Parallelism in Coalgebraic Logic Programming},
journal = {CoRR},
volume = {abs/1312.4454},
year = {2013},
url = {http://arxiv.org/abs/1312.4454},
eprinttype = {arXiv},
eprint = {1312.4454},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KomendantskayaSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-2467,
author = {Daniel Gor{\'{\i}}n and
Lutz Schr{\"{o}}der},
title = {Simulations and Bisimulations For Coalgebraic Modal Logics},
journal = {CoRR},
volume = {abs/1303.2467},
year = {2013},
url = {http://arxiv.org/abs/1303.2467},
eprinttype = {arXiv},
eprint = {1303.2467},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KurzL12,
author = {Alexander Kurz and
Raul Andres Leal},
title = {Modalities in the Stone age: {A} comparison of coalgebraic logics},
journal = {Theor. Comput. Sci.},
volume = {430},
pages = {88--116},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.027},
doi = {10.1016/J.TCS.2012.03.027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KurzL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BilkovaHV12,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Rostislav Horc{\'{\i}}k and
Jir{\'{\i}} Velebil},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Distributive Substructural Logics as Coalgebraic Logics over Posets},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {119--142},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Bilkova-Horcik-Velebil.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BilkovaHV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KapulkinKV12,
author = {Krzysztof Kapulkin and
Alexander Kurz and
Jir{\'{\i}} Velebil},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Expressiveness of Positive Coalgebraic Logic},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {368--385},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Kapulkin-Kurz-Velebil.pdf},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/KapulkinKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/Wilkinson12,
author = {Toby Wilkinson},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Internal Models for Coalgebraic Modal Logics},
booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
{CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
31 - April 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7399},
pages = {238--258},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_13},
doi = {10.1007/978-3-642-32784-1\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/Wilkinson12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LitakPSS12,
author = {Tadeusz Litak and
Dirk Pattinson and
Katsuhiko Sano and
Lutz Schr{\"{o}}der},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Coalgebraic Predicate Logic},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {299--311},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_29},
doi = {10.1007/978-3-642-31585-5\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/LitakPSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0915,
author = {Dirk Hofmann and
Manuel A. Martins},
title = {On a coalgebraic view on Logic},
journal = {CoRR},
volume = {abs/1202.0915},
year = {2012},
url = {http://arxiv.org/abs/1202.0915},
eprinttype = {arXiv},
eprint = {1202.0915},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DoberkatK12,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Coalgebraic Logics (Dagstuhl Seminar 12411)},
journal = {Dagstuhl Reports},
volume = {2},
number = {10},
pages = {38--59},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.10.38},
doi = {10.4230/DAGREP.2.10.38},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DoberkatK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CirsteaKPSV11,
author = {Corina C{\^{\i}}rstea and
Alexander Kurz and
Dirk Pattinson and
Lutz Schr{\"{o}}der and
Yde Venema},
title = {Modal Logics are Coalgebraic},
journal = {Comput. J.},
volume = {54},
number = {1},
pages = {31--41},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxp004},
doi = {10.1093/COMJNL/BXP004},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/CirsteaKPSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatK11,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Foreword: special issue on coalgebraic logic},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {171--174},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000538},
doi = {10.1017/S0960129510000538},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatS11,
author = {Ernst{-}Erich Doberkat and
Christoph Schubert},
title = {Coalgebraic logic over general measurable spaces - a survey},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {175--234},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000526},
doi = {10.1017/S0960129510000526},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Cirstea11,
author = {Corina C{\^{\i}}rstea},
title = {Maximal traces and path-based coalgebraic temporal logics},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {38},
pages = {5025--5042},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.025},
doi = {10.1016/J.TCS.2011.04.025},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Cirstea11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KupkeP11,
author = {Clemens Kupke and
Dirk Pattinson},
title = {Coalgebraic semantics of modal logics: An overview},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {38},
pages = {5070--5094},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.023},
doi = {10.1016/J.TCS.2011.04.023},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KupkeP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BergfeldV11,
author = {Jort Bergfeld and
Yde Venema},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Model Constructions for Moss' Coalgebraic Logic},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {100--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_8},
doi = {10.1007/978-3-642-22944-2\_8},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BergfeldV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Cirstea11,
author = {Corina C{\^{\i}}rstea},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic
Approach},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {130--144},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_10},
doi = {10.1007/978-3-642-22944-2\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/Cirstea11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/DahlqvistP11,
author = {Fredrik Dahlqvist and
Dirk Pattinson},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {On the Fusion of Coalgebraic Logics},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {161--175},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_12},
doi = {10.1007/978-3-642-22944-2\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/DahlqvistP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KomendantskayaP11,
author = {Ekaterina Komendantskaya and
John Power},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Coalgebraic Semantics for Derivations in Logic Programming},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {268--282},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_19},
doi = {10.1007/978-3-642-22944-2\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/KomendantskayaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Sano11,
author = {Katsuhiko Sano},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Generalized Product of Coalgebraic Hybrid Logics},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {329--343},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_23},
doi = {10.1007/978-3-642-22944-2\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Sano11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KomendantskayaP11,
author = {Ekaterina Komendantskaya and
John Power},
editor = {Marc Bezem},
title = {Coalgebraic Derivations in Logic Programming},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {352--366},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.352},
doi = {10.4230/LIPICS.CSL.2011.352},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/KomendantskayaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/LitakPS11,
author = {Tadeusz Litak and
Dirk Pattinson and
Katsuhiko Sano},
editor = {Guram Bezhanishvili and
Sebastian L{\"{o}}bner and
Vincenzo Marra and
Frank Richter},
title = {Coalgebraic Predicate Logic: Equipollence Results and Proof Theory},
booktitle = {Logic, Language, and Computation - 9th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia,
September 26-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7758},
pages = {257--276},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-36976-6\_16},
doi = {10.1007/978-3-642-36976-6\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/LitakPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3685,
author = {Ernst{-}Erich Doberkat},
title = {Towards a Coalgebraic Interpretation of Propositional Dynamic Logic},
journal = {CoRR},
volume = {abs/1109.3685},
year = {2011},
url = {http://arxiv.org/abs/1109.3685},
eprinttype = {arXiv},
eprint = {1109.3685},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PattinsonS10,
author = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Cut elimination in coalgebraic logics},
journal = {Inf. Comput.},
volume = {208},
number = {12},
pages = {1447--1468},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.11.008},
doi = {10.1016/J.IC.2009.11.008},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/PattinsonS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Moss10a,
author = {Lawrence S. Moss},
title = {A Note on Expressive Coalgebraic Logics for Finitary Set Functors},
journal = {J. Log. Comput.},
volume = {20},
number = {5},
pages = {1101--1111},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn095},
doi = {10.1093/LOGCOM/EXN095},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Moss10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SchroderP10,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson},
title = {Rank-1 Modal Logics are Coalgebraic},
journal = {J. Log. Comput.},
volume = {20},
number = {5},
pages = {1113--1147},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn096},
doi = {10.1093/LOGCOM/EXN096},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SchroderP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KurzV10,
author = {Alexander Kurz and
Yde Venema},
editor = {Lev D. Beklemishev and
Valentin Goranko and
Valentin B. Shehtman},
title = {Coalgebraic Lindstr{\"{o}}om Theorems},
booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances
in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
pages = {292--309},
publisher = {College Publications},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Kurz-Venema.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KurzV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KomendantskayaMP10,
author = {Ekaterina Komendantskaya and
Guy McCusker and
John Power},
editor = {Michael Johnson and
Dusko Pavlovic},
title = {Coalgebraic Semantics for Parallel Derivation Strategies in Logic
Programming},
booktitle = {Algebraic Methodology and Software Technology - 13th International
Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6486},
pages = {111--127},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17796-5\_7},
doi = {10.1007/978-3-642-17796-5\_7},
timestamp = {Sun, 25 Oct 2020 23:16:25 +0100},
biburl = {https://dblp.org/rec/conf/amast/KomendantskayaMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GoreKPS10,
author = {Rajeev Gor{\'{e}} and
Clemens Kupke and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Global Caching for Coalgebraic Description Logics},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {46--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_5},
doi = {10.1007/978-3-642-14203-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/GoreKPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SchroderV10,
author = {Lutz Schr{\"{o}}der and
Yde Venema},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Flat Coalgebraic Fixed Point Logics},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {524--538},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_36},
doi = {10.1007/978-3-642-15375-4\_36},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SchroderV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SchroderP10,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Named Models in Coalgebraic Hybrid Logic},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {645--656},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2492},
doi = {10.4230/LIPICS.STACS.2010.2492},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SchroderP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GoreKP10,
author = {Rajeev Gor{\'{e}} and
Clemens Kupke and
Dirk Pattinson},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Optimal Tableau Algorithms for Coalgebraic Logics},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {114--128},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_9},
doi = {10.1007/978-3-642-12002-2\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GoreKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cirstea10,
author = {Corina C{\^{\i}}rstea},
editor = {Bart Jacobs and
Milad Niqui and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics},
booktitle = {Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer
Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {2},
pages = {83--103},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.015},
doi = {10.1016/J.ENTCS.2010.07.015},
timestamp = {Fri, 10 Mar 2023 10:48:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cirstea10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-0735,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson},
title = {Named Models in Coalgebraic Hybrid Logic},
journal = {CoRR},
volume = {abs/1001.0735},
year = {2010},
url = {http://arxiv.org/abs/1001.0735},
eprinttype = {arXiv},
eprint = {1001.0735},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-0735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2717,
author = {Lutz Schr{\"{o}}der and
Yde Venema},
title = {Flat coalgebraic fixed point logics},
journal = {CoRR},
volume = {abs/1004.2717},
year = {2010},
url = {http://arxiv.org/abs/1004.2717},
eprinttype = {arXiv},
eprint = {1004.2717},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-2717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023745,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic Coalgebraic Logic},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02995-0},
doi = {10.1007/978-3-642-02995-0},
isbn = {978-3-642-02994-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DoberkatS09,
author = {Ernst{-}Erich Doberkat and
Christoph Schubert},
title = {Coalgebraic logic for stochastic right coalgebras},
journal = {Ann. Pure Appl. Log.},
volume = {159},
number = {3},
pages = {268--284},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2008.06.018},
doi = {10.1016/J.APAL.2008.06.018},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DoberkatS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Venema09,
author = {Yde Venema},
title = {Algebraic and Coalgebraic Logic Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {303},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn098},
doi = {10.1093/LOGCOM/EXN098},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Venema09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Venema09,
author = {Yde Venema},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Fixpoint Logics and Automata: {A} Coalgebraic Approach},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {10},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/invited3.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Venema09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MyersPS09,
author = {Robert S. R. Myers and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Luca de Alfaro},
title = {Coalgebraic Hybrid Logic},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {137--151},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_11},
doi = {10.1007/978-3-642-00596-1\_11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MyersPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SchroderP09,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {Strong Completeness of Coalgebraic Modal Logics},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {673--684},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1855},
doi = {10.4230/LIPICS.STACS.2009.1855},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SchroderP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzL09,
author = {Alexander Kurz and
Raul Andres Leal},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Equational Coalgebraic Logic},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {333--356},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.097},
doi = {10.1016/J.ENTCS.2009.07.097},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schubert09,
author = {Christoph Schubert},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {71--85},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.027},
doi = {10.1016/J.ENTCS.2009.11.027},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schubert09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9502,
editor = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Coalgebraic Logics, 06.12. - 09.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09502},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09502/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DoberkatK09,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
editor = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {09502 Abstracts Collection - Coalgebraic Logics},
booktitle = {Coalgebraic Logics, 06.12. - 09.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09502},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2420/},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DoberkatK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2072,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson},
title = {Strong Completeness of Coalgebraic Modal Logics},
journal = {CoRR},
volume = {abs/0902.2072},
year = {2009},
url = {http://arxiv.org/abs/0902.2072},
eprinttype = {arXiv},
eprint = {0902.2072},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Doberkat08,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence},
journal = {Ann. Pure Appl. Log.},
volume = {155},
number = {1},
pages = {46--68},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.01.010},
doi = {10.1016/J.APAL.2008.01.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Doberkat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schroder08,
author = {Lutz Schr{\"{o}}der},
title = {Expressivity of coalgebraic modal logic: The limits and beyond},
journal = {Theor. Comput. Sci.},
volume = {390},
number = {2-3},
pages = {230--247},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.09.023},
doi = {10.1016/J.TCS.2007.09.023},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Schroder08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BilkovaPV08,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alessandra Palmigiano and
Yde Venema},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Proof systems for the coalgebraic cover modality},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {1--21},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BilkovaPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcs/CirsteaKPSV08,
author = {Corina C{\^{\i}}rstea and
Alexander Kurz and
Dirk Pattinson and
Lutz Schr{\"{o}}der and
Yde Venema},
editor = {Erol Gelenbe and
Samson Abramsky and
Vladimiro Sassone},
title = {Modal Logics are Coalgebraic},
booktitle = {Visions of Computer Science - {BCS} International Academic Conference,
Imperial College, London, UK, 22-24 September 2008},
pages = {128--140},
publisher = {British Computer Society},
year = {2008},
url = {http://www.bcs.org/server.php?show=ConWebDoc.22873},
timestamp = {Sat, 29 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bcs/CirsteaKPSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonsangueRS08,
author = {Marcello M. Bonsangue and
Jan J. M. M. Rutten and
Alexandra Silva},
editor = {Roberto M. Amadio},
title = {Coalgebraic Logic and Synthesis of Mealy Machines},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {231--245},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_17},
doi = {10.1007/978-3-540-78499-9\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BonsangueRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PattinsonS08,
author = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Roberto M. Amadio},
title = {Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic
Logics},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {66--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_6},
doi = {10.1007/978-3-540-78499-9\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PattinsonS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaS08,
author = {Corina C{\^{\i}}rstea and
Mehrnoosh Sadrzadeh},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {Modular Games for Coalgebraic Fixed Point Logics},
booktitle = {Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer
Science, {CMCS} 2008, Budapest, Hungary, April 4-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {5},
pages = {71--92},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.05.020},
doi = {10.1016/J.ENTCS.2008.05.020},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CirsteaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzP08,
author = {Alexander Kurz and
Daniela Petrisan},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {Functorial Coalgebraic Logic: The Case of Many-sorted Varieties},
booktitle = {Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer
Science, {CMCS} 2008, Budapest, Hungary, April 4-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {5},
pages = {175--194},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.05.025},
doi = {10.1016/J.ENTCS.2008.05.025},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PattinsonS08,
author = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {Admissibility of Cut in Coalgebraic Logics},
booktitle = {Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer
Science, {CMCS} 2008, Budapest, Hungary, April 4-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {5},
pages = {221--241},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.05.027},
doi = {10.1016/J.ENTCS.2008.05.027},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PattinsonS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Schroder07,
author = {Lutz Schr{\"{o}}der},
title = {A finite model construction for coalgebraic modal logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {73},
number = {1-2},
pages = {97--110},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.11.004},
doi = {10.1016/J.JLAP.2006.11.004},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Schroder07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CirsteaP07,
author = {Corina C{\^{\i}}rstea and
Dirk Pattinson},
title = {Modular construction of complete coalgebraic logics},
journal = {Theor. Comput. Sci.},
volume = {388},
number = {1-3},
pages = {83--108},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.06.002},
doi = {10.1016/J.TCS.2007.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CirsteaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SchroderP07,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson},
editor = {Wolfgang Thomas and
Pascal Weil},
title = {Rank-1 Modal Logics Are Coalgebraic},
booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
pages = {573--585},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3\_49},
doi = {10.1007/978-3-540-70918-3\_49},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SchroderP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CalinMPS09,
author = {Georgel Calin and
Robert S. R. Myers and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {CoLoSS: The Coalgebraic Logic Satisfiability Solver},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {41--54},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.028},
doi = {10.1016/J.ENTCS.2009.02.028},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CalinMPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Klin07,
author = {Bartek Klin},
editor = {Marcelo Fiore},
title = {Coalgebraic Modal Logic Beyond Sets},
booktitle = {Proceedings of the 23rd Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
11-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {173},
pages = {177--201},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.034},
doi = {10.1016/J.ENTCS.2007.02.034},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Klin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Venema06,
author = {Yde Venema},
title = {Automata and fixed point logic: {A} coalgebraic perspective},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {637--678},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.06.003},
doi = {10.1016/J.IC.2005.06.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Venema06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Schroder06,
author = {Lutz Schr{\"{o}}der},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Finite Model Construction for Coalgebraic Modal Logic},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {157--171},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_11},
doi = {10.1007/11690634\_11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Schroder06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/SchroderM06,
author = {Lutz Schr{\"{o}}der and
Till Mossakowski},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Pierre{-}Yves Schobbens},
title = {Coalgebraic Modal Logic in CoCasl},
booktitle = {Recent Trends in Algebraic Development Techniques, 18th International
Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4409},
pages = {127--141},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71998-4\_8},
doi = {10.1007/978-3-540-71998-4\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/SchroderM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KurzP05,
author = {Alexander Kurz and
Dirk Pattinson},
title = {Coalgebraic modal logic of finite rank},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {3},
pages = {453--473},
year = {2005},
url = {https://doi.org/10.1017/S0960129505004755},
doi = {10.1017/S0960129505004755},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KurzP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Klin05,
author = {Bartek Klin},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {The Least Fibred Lifting and the Expressivity of Coalgebraic Modal
Logic},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
pages = {247--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_16},
doi = {10.1007/11548133\_16},
timestamp = {Wed, 19 May 2021 08:32:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Klin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Schroder05,
author = {Lutz Schr{\"{o}}der},
editor = {Vladimiro Sassone},
title = {Expressivity of Coalgebraic Modal Logic: The Limits and Beyond},
booktitle = {Foundations of Software Science and Computational 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},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {440--454},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_28},
doi = {10.1007/978-3-540-31982-5\_28},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Schroder05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Palmigiano04,
author = {Alessandra Palmigiano},
title = {A coalgebraic view on positive modal logic},
journal = {Theor. Comput. Sci.},
volume = {327},
number = {1-2},
pages = {175--195},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.026},
doi = {10.1016/J.TCS.2004.07.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Palmigiano04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cirstea04,
author = {Corina C{\^{\i}}rstea},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {On Logics for Coalgebraic Simulation},
booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {63--90},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.026},
doi = {10.1016/J.ENTCS.2004.02.026},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cirstea04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HansenK04,
author = {Helle Hvid Hansen and
Clemens Kupke},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {A Coalgebraic Perspective on Monotone Modal Logic},
booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {121--143},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.028},
doi = {10.1016/J.ENTCS.2004.02.028},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HansenK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KupkeKP04,
author = {Clemens Kupke and
Alexander Kurz and
Dirk Pattinson},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Algebraic Semantics for Coalgebraic Logics},
booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {219--241},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.037},
doi = {10.1016/J.ENTCS.2004.02.037},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KupkeKP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DaveyG03,
author = {Brian A. Davey and
John C. Galati},
title = {A Coalgebraic View of Heyting Duality},
journal = {Stud Logica},
volume = {75},
number = {3},
pages = {259--270},
year = {2003},
url = {https://doi.org/10.1023/B:STUD.0000009559.44998.a3},
doi = {10.1023/B:STUD.0000009559.44998.A3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/DaveyG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pattinson03,
author = {Dirk Pattinson},
title = {Coalgebraic modal logic: soundness, completeness and decidability
of local consequence},
journal = {Theor. Comput. Sci.},
volume = {309},
number = {1-3},
pages = {177--193},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00201-9},
doi = {10.1016/S0304-3975(03)00201-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pattinson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Palmigiano03,
author = {Alessandra Palmigiano},
editor = {H. Peter Gumm},
title = {Coalgebraic Semantics for Positive Modal Logic},
booktitle = {6th International Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {1},
pages = {221--236},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80641-8},
doi = {10.1016/S1571-0661(04)80641-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Palmigiano03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cirstea02,
author = {Corina C{\^{\i}}rstea},
editor = {Lawrence S. Moss},
title = {Institutionalizing Coalgebraic Modal Logic},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2002, Satellite Event
of {ETAPS} 2002, Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {1},
pages = {54--70},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80359-1},
doi = {10.1016/S1571-0661(04)80359-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cirstea02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzP02,
author = {Alexander Kurz and
Dirk Pattinson},
editor = {Lawrence S. Moss},
title = {Definability, Canonical Models, and Compactness for Finitary Coalgebraic
Modal Logic},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2002, Satellite Event
of {ETAPS} 2002, Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {1},
pages = {135--155},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80363-3},
doi = {10.1016/S1571-0661(04)80363-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Jacobs01,
author = {Bart Jacobs},
title = {Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {35},
number = {1},
pages = {31--59},
year = {2001},
url = {https://doi.org/10.1051/ita:2001108},
doi = {10.1051/ITA:2001108},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Jacobs01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Baltag00,
author = {Alexandru Baltag},
editor = {Horst Reichel},
title = {A Logic for Coalgebraic Simulation},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2000, Berlin, Germany,
March 25-26, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {33},
pages = {42--60},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80343-3},
doi = {10.1016/S1571-0661(05)80343-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Baltag00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jacobs00,
author = {Bart Jacobs},
editor = {Horst Reichel},
title = {Towards a Duality Result in Coalgebraic Modal Logic},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2000, Berlin, Germany,
March 25-26, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {33},
pages = {160--195},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80348-2},
doi = {10.1016/S1571-0661(05)80348-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jacobs00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Moss99,
author = {Lawrence S. Moss},
title = {Coalgebraic Logic},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {277--317},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00042-6},
doi = {10.1016/S0168-0072(98)00042-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Moss99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Moss99a,
author = {Lawrence S. Moss},
title = {Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 {(1999)}
277-317},
journal = {Ann. Pure Appl. Log.},
volume = {99},
number = {1-3},
pages = {241--259},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(99)00027-5},
doi = {10.1016/S0168-0072(99)00027-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Moss99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennickerK99,
author = {Rolf Hennicker and
Alexander Kurz},
editor = {Bart Jacobs and
Jan J. M. M. Rutten},
title = {(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The
Netherlands, March 20-21, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {19},
pages = {164--180},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80275-0},
doi = {10.1016/S1571-0661(05)80275-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennickerK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HsuS92,
author = {Wen{-}Jun Hsu and
Wen{-}Zen Shen},
editor = {Daniel G. Schweikert},
title = {Coalgebraic Division for Multilevel Logic Synthesis},
booktitle = {Proceedings of the 29th Design Automation Conference, Anaheim, California,
USA, June 8-12, 1992},
pages = {438--442},
publisher = {{IEEE} Computer Society Press},
year = {1992},
url = {http://portal.acm.org/citation.cfm?id=113938.149562},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HsuS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 06:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
