Search dblp for Publications

export results for "toc:db/conf/dali/dali2022.bht:"

 download as .bib file

@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    = {Mon, 20 Feb 2023 00:00:00 +0100},
  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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.