Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/wollic/wollic2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/wollic/AcclavioS19,
author = {Matteo Acclavio and
Lutz Stra{\ss}burger},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {On Combinatorial Proofs for Logics of Relevance and Entailment},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {1--16},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_1},
doi = {10.1007/978-3-662-59533-6\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/AcclavioS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AfshariJL19,
author = {Bahareh Afshari and
Gerhard J{\"{a}}ger and
Graham E. Leigh},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {An Infinitary Treatment of Full Mu-Calculus},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {17--34},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_2},
doi = {10.1007/978-3-662-59533-6\_2},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AfshariJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BaazL19,
author = {Matthias Baaz and
Anela Lolic},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Note on Globally Sound Analytic Calculi for Quantifier Macros},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {486--497},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_29},
doi = {10.1007/978-3-662-59533-6\_29},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BaazL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BaltagBG19,
author = {Alexandru Baltag and
Nick Bezhanishvili and
Sa{\'{u}}l Fern{\'{a}}ndez Gonz{\'{a}}lez},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {The McKinsey-Tarski Theorem for Topological Evidence Logics},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {177--194},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_11},
doi = {10.1007/978-3-662-59533-6\_11},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BaltagBG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BezhanishviliGH19,
author = {Nick Bezhanishvili and
Gianluca Grilletti and
Wesley H. Holliday},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free
Duality},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {35--52},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_3},
doi = {10.1007/978-3-662-59533-6\_3},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BezhanishviliGH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BlackburnMMH19,
author = {Patrick Blackburn and
Manuel A. Martins and
Mar{\'{\i}}a Manzano and
Antonia Huertas},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Rigid First-Order Hybrid Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {53--69},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_4},
doi = {10.1007/978-3-662-59533-6\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BlackburnMMH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BozhkoKG19,
author = {Sergey Bozhko and
Leyla Khatbullina and
Semyon V. Grigorev},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Bar-Hillel Theorem Mechanization in Coq},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {264--281},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_17},
doi = {10.1007/978-3-662-59533-6\_17},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/BozhkoKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CaicedoMRT19,
author = {Xavier Caicedo and
George Metcalfe and
Ricardo Oscar Rodr{\'{\i}}guez and
Olim Frits Tuyt},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {The One-Variable Fragment of Corsi Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {70--83},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_5},
doi = {10.1007/978-3-662-59533-6\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CaicedoMRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CaleiroM19,
author = {Carlos Caleiro and
S{\'{e}}rgio Marcelino},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Analytic Calculi for Monadic PNmatrices},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {84--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_6},
doi = {10.1007/978-3-662-59533-6\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/CaleiroM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Chen0PT19,
author = {Jinsheng Chen and
Giuseppe Greco and
Alessandra Palmigiano and
Apostolos Tzimoulis},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Non Normal Logics: Semantic Analysis and Proof Theory},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {99--118},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_7},
doi = {10.1007/978-3-662-59533-6\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Chen0PT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CiuniFS19,
author = {Roberto Ciuni and
Thomas Macaulay Ferguson and
Dami{\'{a}}n Enrique Szmuc},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Modeling the Interaction of Computer Errors by Four-Valued Contaminating
Logics},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {119--139},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_8},
doi = {10.1007/978-3-662-59533-6\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/CiuniFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ConradieCPW19,
author = {Willem Conradie and
Andrew Craig and
Alessandra Palmigiano and
Nachoem M. Wijnberg},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Modelling Informational Entropy},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {140--160},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_9},
doi = {10.1007/978-3-662-59533-6\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/ConradieCPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/DitmarschK19,
author = {Hans van Ditmarsch and
Louwe B. Kuijer},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Knowledge Without Complete Certainty},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {619--632},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_38},
doi = {10.1007/978-3-662-59533-6\_38},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/DitmarschK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Fernandez-Duque19,
author = {David Fern{\'{a}}ndez{-}Duque and
Eduardo Hermo Reyes},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {A Self-contained Provability Calculus for {\(\Gamma\)}\({}_{\mbox{0}}\)},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {195--207},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_12},
doi = {10.1007/978-3-662-59533-6\_12},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Fernandez-Duque19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FerrarottiGTBV19,
author = {Flavio Ferrarotti and
Sen{\'{e}}n Gonz{\'{a}}lez and
Jos{\'{e}} Maria Turull Torres and
Jan Van den Bussche and
Jonni Virtema},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Descriptive Complexity of Deterministic Polylogarithmic Time},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {208--222},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_13},
doi = {10.1007/978-3-662-59533-6\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/FerrarottiGTBV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FlaminioGR19,
author = {Tommaso Flaminio and
Llu{\'{\i}}s Godo and
Ricardo Oscar Rodr{\'{\i}}guez},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {A Representation Theorem for Finite G{\"{o}}del Algebras with
Operators},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {223--235},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_14},
doi = {10.1007/978-3-662-59533-6\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/FlaminioGR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Fujiwara19,
author = {Makoto Fujiwara},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Bar Induction and Restricted Classical Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {236--247},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_15},
doi = {10.1007/978-3-662-59533-6\_15},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Fujiwara19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GirlandoNS19,
author = {Marianna Girlando and
Sara Negri and
Giorgio Sbardolini},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Uniform Labelled Calculi for Conditional and Counterfactual Logics},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {248--263},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_16},
doi = {10.1007/978-3-662-59533-6\_16},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GirlandoNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GrootP19,
author = {Jim de Groot and
Dirk Pattinson},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {161--176},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_10},
doi = {10.1007/978-3-662-59533-6\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/GrootP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GuerrieriPF19,
author = {Giulio Guerrieri and
Luc Pellissier and
Lorenzo Tortora de Falco},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Proof-Net as Graph, Taylor Expansion as Pullback},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {282--300},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_18},
doi = {10.1007/978-3-662-59533-6\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/GuerrieriPF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/HannulaH19,
author = {Miika Hannula and
Lauri Hella},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Complexity Thresholds in Inclusion Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {301--322},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_19},
doi = {10.1007/978-3-662-59533-6\_19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/HannulaH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Huntsman19,
author = {Steve Huntsman},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {The Multiresolution Analysis of Flow Graphs},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {323--341},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_20},
doi = {10.1007/978-3-662-59533-6\_20},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Huntsman19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Jalali19,
author = {Raheleh Jalali},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {An Exponential Lower Bound for Proofs in Focused Calculi},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {342--355},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_21},
doi = {10.1007/978-3-662-59533-6\_21},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Jalali19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KanovichKS19,
author = {Max I. Kanovich and
Stepan L. Kuznetsov and
Andre Scedrov},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years
Later},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {356--372},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_22},
doi = {10.1007/978-3-662-59533-6\_22},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KanovichKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KanovichKS19a,
author = {Max I. Kanovich and
Stepan L. Kuznetsov and
Andre Scedrov},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {L-Models and R-Models for Lambek Calculus Enriched with Additives
and the Multiplicative Unit},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {373--391},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_23},
doi = {10.1007/978-3-662-59533-6\_23},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KanovichKS19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KontinenY19,
author = {Juha Kontinen and
Fan Yang},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Logics for First-Order Team Properties},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {392--414},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_24},
doi = {10.1007/978-3-662-59533-6\_24},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KontinenY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KubotaL19,
author = {Yusuke Kubota and
Robert Levine},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Modal Auxiliaries and Negation: {A} Type-Logical Account},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {415--432},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_25},
doi = {10.1007/978-3-662-59533-6\_25},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/KubotaL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LehmannS19,
author = {Eveline Lehmann and
Thomas Studer},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Subset Models for Justification Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {433--449},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_26},
doi = {10.1007/978-3-662-59533-6\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/LehmannS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LiangN19,
author = {Fei Liang and
Thiago Nascimento},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Algebraic Semantics for Quasi-Nelson Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {450--466},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_27},
doi = {10.1007/978-3-662-59533-6\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/LiangN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Liefke19,
author = {Kristina Liefke},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {A Case for Property-Type Semantics},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {467--485},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_28},
doi = {10.1007/978-3-662-59533-6\_28},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Liefke19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/MilaneseV19,
author = {Gian Carlo Milanese and
Yde Venema},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Closure Ordinals of the Two-Way Modal {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {498--515},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_30},
doi = {10.1007/978-3-662-59533-6\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/MilaneseV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/OmoriS19,
author = {Hitoshi Omori and
Daniel Skurt},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {{SIXTEEN} {\_}3 in Light of Routley Stars},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {516--532},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_31},
doi = {10.1007/978-3-662-59533-6\_31},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/OmoriS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Powell0W19,
author = {Thomas Powell and
Peter Schuster and
Franziskus Wiesnet},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {An Algorithmic Approach to the Existence of Ideal Objects in Commutative
Algebra},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {533--549},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_32},
doi = {10.1007/978-3-662-59533-6\_32},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Powell0W19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Sanders19,
author = {Sam Sanders},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Reverse Mathematics and Computability Theory of Domain Theory},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {550--568},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_33},
doi = {10.1007/978-3-662-59533-6\_33},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Sanders19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/SavateevS19,
author = {Yury Savateev and
Daniyar S. Shamkanov},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded
Proofs},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {569--583},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_34},
doi = {10.1007/978-3-662-59533-6\_34},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/SavateevS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Saveliev19,
author = {Denis I. Saveliev},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {On First-Order Expressibility of Satisfiability in Submodels},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {584--593},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_35},
doi = {10.1007/978-3-662-59533-6\_35},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Saveliev19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Sedlar19,
author = {Igor Sedl{\'{a}}r},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Substructural Propositional Dynamic Logics},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {594--609},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_36},
doi = {10.1007/978-3-662-59533-6\_36},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Sedlar19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Shapirovsky19,
author = {Ilya Shapirovsky},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Modal Logics of Finite Direct Powers of {\textbackslash}omega Have
the Finite Model Property},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {610--618},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_37},
doi = {10.1007/978-3-662-59533-6\_37},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/Shapirovsky19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/VenhuizenHCB19,
author = {Noortje J. Venhuizen and
Petra Hendriks and
Matthew W. Crocker and
Harm Brouwer},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {A Framework for Distributional Formal Semantics},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {633--646},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_39},
doi = {10.1007/978-3-662-59533-6\_39},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/VenhuizenHCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Zuber19,
author = {Richard Zuber},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Weak Conservativity},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {647--660},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_40},
doi = {10.1007/978-3-662-59533-6\_40},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Zuber19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2019,
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6},
doi = {10.1007/978-3-662-59533-6},
isbn = {978-3-662-59532-9},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2019.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-05-26 17:40 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:
