![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/wollic/wollic2021.bht:"
@inproceedings{DBLP:conf/wollic/BalbianiG21, author = {Philippe Balbiani and Sa{\'{u}}l Fern{\'{a}}ndez Gonz{\'{a}}lez}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Orthogonal Frames and Indexed Relations}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {219--234}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_14}, doi = {10.1007/978-3-030-88853-4\_14}, timestamp = {Wed, 07 Dec 2022 23:14:05 +0100}, biburl = {https://dblp.org/rec/conf/wollic/BalbianiG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/BarlagV21, author = {Timon Barlag and Heribert Vollmer}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {A Logical Characterization of Constant-Depth Circuits over the Reals}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {16--30}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_2}, doi = {10.1007/978-3-030-88853-4\_2}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/BarlagV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/CattaS21, author = {Davide Catta and Symon Jory Stevens{-}Guille}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {269--286}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_17}, doi = {10.1007/978-3-030-88853-4\_17}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/CattaS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Ditmarsch21, author = {Hans van Ditmarsch}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {31--46}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_3}, doi = {10.1007/978-3-030-88853-4\_3}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/Ditmarsch21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Freiman21, author = {Robert Freiman}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Games for Hybrid Logic - From Semantic Games to Analytic Calculi}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {133--149}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_9}, doi = {10.1007/978-3-030-88853-4\_9}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/Freiman21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/From21, author = {Asta Halkj{\ae}r From}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Formalized Soundness and Completeness of Epistemic Logic}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {1--15}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_1}, doi = {10.1007/978-3-030-88853-4\_1}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/From21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Galliani21, author = {Pietro Galliani}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Doubly Strongly First Order Dependencies}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {47--63}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_4}, doi = {10.1007/978-3-030-88853-4\_4}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/Galliani21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/GiessenJK21, author = {Iris van der Giessen and Raheleh Jalali and Roman Kuznets}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Uniform Interpolation via Nested Sequents}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {337--354}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_21}, doi = {10.1007/978-3-030-88853-4\_21}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/GiessenJK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/GonzalezA21, author = {Nicol{\'{a}}s Gonz{\'{a}}lez and Sergio Abriola}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Characterizations for XPath \({}_{\mbox{ R}}\)({\dj}ownarrow {)}}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {319--336}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_20}, doi = {10.1007/978-3-030-88853-4\_20}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/GonzalezA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/IordacheC21, author = {Viorel Iordache and {\c{S}}tefan Ciob{\^{a}}c{\u{a}}}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Verifying the Conversion into {CNF} in Dafny}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {150--166}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_10}, doi = {10.1007/978-3-030-88853-4\_10}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/IordacheC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/KonecnyPT21, author = {Michal Konecn{\'{y}} and Sewon Park and Holger Thies}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Axiomatic Reals and Certified Efficient Exact Real Computation}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {252--268}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_16}, doi = {10.1007/978-3-030-88853-4\_16}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/KonecnyPT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/KontinenS21, author = {Juha Kontinen and Max Sandstr{\"{o}}m}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {302--318}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_19}, doi = {10.1007/978-3-030-88853-4\_19}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/KontinenS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Leivant21, author = {Daniel Leivant}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Algorithmically Broad Languages for Polynomial Time and Space}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {372--387}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_23}, doi = {10.1007/978-3-030-88853-4\_23}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/Leivant21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/LeviA21, author = {Nissan Levi and Arnon Avron}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Analysis in a Formal Predicative Set Theory}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {167--183}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_11}, doi = {10.1007/978-3-030-88853-4\_11}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/LeviA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/LiGLT21, author = {Dazhu Li and Sujata Ghosh and Fenrong Liu and Yaxin Tu}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {On the Subtle Nature of a Simple Logic of the Hide and Seek Game}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {201--218}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_13}, doi = {10.1007/978-3-030-88853-4\_13}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/LiGLT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/MarinPPS21, author = {Sonia Marin and Luiz Carlos Pereira and Elaine Pimentel and Emerson Sales}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {A Pure View of Ecumenical Modalities}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {388--407}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_24}, doi = {10.1007/978-3-030-88853-4\_24}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/MarinPPS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Pavlova21, author = {Alexandra Pavlova}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Provability Games for Non-classical Logics}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {408--425}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_25}, doi = {10.1007/978-3-030-88853-4\_25}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/Pavlova21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Pezlar21, author = {Ivo Pezlar}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Meaning and Computing: Two Approaches to Computable Propositions}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {100--116}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_7}, doi = {10.1007/978-3-030-88853-4\_7}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/Pezlar21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/PuncocharT21, author = {V{\'{\i}}t Puncoch{\'{a}}r and Andrew Tedder}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Disjunction and Negation in Information Based Semantics}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {355--371}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_22}, doi = {10.1007/978-3-030-88853-4\_22}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/PuncocharT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/RohaniS21, author = {Atefeh Rohani and Thomas Studer}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Explicit Non-normal Modal Logic}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {64--81}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_5}, doi = {10.1007/978-3-030-88853-4\_5}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/RohaniS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/TabatabaiIJ21, author = {Amirhossein Akbar Tabatabai and Rosalie Iemhoff and Raheleh Jalali}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Uniform Lyndon Interpolation for Basic Non-normal Modal Logics}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {287--301}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_18}, doi = {10.1007/978-3-030-88853-4\_18}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/TabatabaiIJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Thompson21, author = {Declan Thompson}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Computable Execution Traces}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {235--251}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_15}, doi = {10.1007/978-3-030-88853-4\_15}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/Thompson21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Veltri21, author = {Niccol{\`{o}} Veltri}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Coherence via Focusing for Symmetric Skew Monoidal Categories}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {184--200}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_12}, doi = {10.1007/978-3-030-88853-4\_12}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/Veltri21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Wen21, author = {Xuefeng Wen}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Modal Logic via Global Consequence}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {117--132}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_8}, doi = {10.1007/978-3-030-88853-4\_8}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/Wen21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/Zhong21, author = {Shengyang Zhong}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {A General Relational Semantics of Propositional Logic: Axiomatization}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {82--99}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_6}, doi = {10.1007/978-3-030-88853-4\_6}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/Zhong21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wollic/2021, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4}, doi = {10.1007/978-3-030-88853-4}, isbn = {978-3-030-88852-7}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.