default search action
Search dblp for Publications
export results for "toc:db/conf/dali/dali2022.bht:"
@proceedings{DBLP:conf/dali/2022, editor = {Carlos Areces and Diana Costa}, title = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-26622-5}, doi = {10.1007/978-3-031-26622-5}, isbn = {978-3-031-26621-8}, timestamp = {Mon, 20 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/AbarcaB22, author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and Jan M. Broersen}, editor = {Carlos Areces and Diana Costa}, title = {A Stit Logic of Intentionality}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {125--153}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_8}, doi = {10.1007/978-3-031-26622-5\_8}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dali/AbarcaB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/ArecesFSV22, author = {Carlos Areces and Raul Fervari and Andr{\'{e}}s R. Saravia and Fernando R. Vel{\'{a}}zquez{-}Quesada}, editor = {Carlos Areces and Diana Costa}, title = {First Steps in Updating Knowing How}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {1--16}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_1}, doi = {10.1007/978-3-031-26622-5\_1}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dali/ArecesFSV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/Balbiani22, author = {Philippe Balbiani}, editor = {Carlos Areces and Diana Costa}, title = {Parametrized Modal Logic {II:} The Unidimensional Case}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {17--36}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_2}, doi = {10.1007/978-3-031-26622-5\_2}, timestamp = {Mon, 20 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/Balbiani22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/BedregalSMM22, author = {Benjam{\'{\i}}n R. C. Bedregal and Regivan H. N. Santiago and Alexandre Madeira and Manuel A. Martins}, editor = {Carlos Areces and Diana Costa}, title = {Relating Kleene Algebras with Pseudo Uninorms}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {37--55}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_3}, doi = {10.1007/978-3-031-26622-5\_3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/BedregalSMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/DolgorukovG22, author = {Vitaliy Dolgorukov and Maksim Gladyshev}, editor = {Carlos Areces and Diana Costa}, title = {Dynamic Epistemic Logic for Budget-Constrained Agents}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {56--72}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_4}, doi = {10.1007/978-3-031-26622-5\_4}, timestamp = {Sat, 25 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/DolgorukovG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/GalimullinA22, author = {Rustam Galimullin and Thomas {\AA}gotnes}, editor = {Carlos Areces and Diana Costa}, title = {Action Models for Coalition Logic}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {73--89}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_5}, doi = {10.1007/978-3-031-26622-5\_5}, timestamp = {Sat, 25 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/GalimullinA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/Kawano22, author = {Tomoaki Kawano}, editor = {Carlos Areces and Diana Costa}, title = {Quantum Logic for Observation of Physical Quantities}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {90--105}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_6}, doi = {10.1007/978-3-031-26622-5\_6}, timestamp = {Sat, 25 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/Kawano22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/LindqvistVA22, author = {John Lindqvist and Fernando R. Vel{\'{a}}zquez{-}Quesada and Thomas {\AA}gotnes}, editor = {Carlos Areces and Diana Costa}, title = {Cautious Distributed Belief}, booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13780}, pages = {106--124}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26622-5\_7}, doi = {10.1007/978-3-031-26622-5\_7}, timestamp = {Mon, 20 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/LindqvistVA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.