Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/dali/Aucher20,
  author       = {Guillaume Aucher},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Expedition in the Update Universe},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_1},
  doi          = {10.1007/978-3-030-65840-3\_1},
  timestamp    = {Wed, 21 Apr 2021 08:53:38 +0200},
  biburl       = {https://dblp.org/rec/conf/dali/Aucher20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/BarberoSSVX20,
  author       = {Fausto Barbero and
                  Katrin Schulz and
                  Sonja Smets and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada and
                  Kaibo Xie},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Thinking About Causation: {A} Causal Language with Epistemic Operators},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_2},
  doi          = {10.1007/978-3-030-65840-3\_2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dali/BarberoSSVX20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/BelardinelliR20,
  author       = {Gaia Belardinelli and
                  Rasmus K. Rendsvig},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Awareness Logic: {A} Kripke-Based Rendition of the Heifetz-Meier-Schipper
                  Model},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {33--50},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_3},
  doi          = {10.1007/978-3-030-65840-3\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dali/BelardinelliR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/BergG20,
  author       = {Line van den Berg and
                  Malvin Gattinger},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Dealing with Unreliable Agents in Dynamic Gossip},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {51--67},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_4},
  doi          = {10.1007/978-3-030-65840-3\_4},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/BergG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/BilkovaFMN20,
  author       = {Marta B{\'{\i}}lkov{\'{a}} and
                  Sabine Frittella and
                  Ondrej Majer and
                  Sajad Nazari},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Belief Based on Inconsistent Information},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {68--86},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_5},
  doi          = {10.1007/978-3-030-65840-3\_5},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/BilkovaFMN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/BolanderL20,
  author       = {Thomas Bolander and
                  Arnaud Lequen},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Parameterized Complexity of Dynamic Belief Updates},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {87--102},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_6},
  doi          = {10.1007/978-3-030-65840-3\_6},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/BolanderL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/CassanoFAC20,
  author       = {Valentin Cassano and
                  Raul Fervari and
                  Carlos Areces and
                  Pablo F. Castro},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Default Modal Systems as Algebraic Updates},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {103--119},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_7},
  doi          = {10.1007/978-3-030-65840-3\_7},
  timestamp    = {Tue, 05 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/CassanoFAC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/DitmarschLKS20,
  author       = {Hans van Ditmarsch and
                  Mo Liu and
                  Louwe B. Kuijer and
                  Igor Sedl{\'{a}}r},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Expressivity of Some Versions of {APAL}},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {120--136},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_8},
  doi          = {10.1007/978-3-030-65840-3\_8},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dali/DitmarschLKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/HatanoS20,
  author       = {Ryo Hatano and
                  Katsuhiko Sano},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Constructive Dynamic Logic of Relation Changers},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {137--154},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_9},
  doi          = {10.1007/978-3-030-65840-3\_9},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/HatanoS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/Kuznetsov20,
  author       = {Stepan L. Kuznetsov},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Complexity of Commutative Infinitary Action Logic},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {155--169},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_10},
  doi          = {10.1007/978-3-030-65840-3\_10},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dali/Kuznetsov20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/LoriniS20,
  author       = {Emiliano Lorini and
                  Pengfei Song},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Grounding Awareness on Belief Bases},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {170--186},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_11},
  doi          = {10.1007/978-3-030-65840-3\_11},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/LoriniS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/MarinPPS20,
  author       = {Sonia Marin and
                  Luiz Carlos Pereira and
                  Elaine Pimentel and
                  Emerson Sales},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Ecumenical Modal Logic},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {187--204},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_12},
  doi          = {10.1007/978-3-030-65840-3\_12},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/MarinPPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/Puncochar20,
  author       = {V{\'{\i}}t Puncoch{\'{a}}r},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Inquisitive Dynamic Epistemic Logic in a Non-classical Setting},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {205--221},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_13},
  doi          = {10.1007/978-3-030-65840-3\_13},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/Puncochar20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/ReicheB20,
  author       = {Sebastian Reiche and
                  Christoph Benzm{\"{u}}ller},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Public Announcement Logic in {HOL}},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {222--238},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_14},
  doi          = {10.1007/978-3-030-65840-3\_14},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/ReicheB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/Solaki20,
  author       = {Anthia Solaki},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {239--258},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_15},
  doi          = {10.1007/978-3-030-65840-3\_15},
  timestamp    = {Tue, 05 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/Solaki20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/WangA20,
  author       = {Y{\`{\i}} N. W{\'{a}}ng and
                  Thomas {\AA}gotnes},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Simpler Completeness Proofs for Modal Logics with Intersection},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {259--276},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_16},
  doi          = {10.1007/978-3-030-65840-3\_16},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/WangA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dali/XiongA20,
  author       = {Zuojun Xiong and
                  Thomas {\AA}gotnes},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Arbitrary Propositional Network Announcement Logic},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {277--293},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_17},
  doi          = {10.1007/978-3-030-65840-3\_17},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/XiongA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dali/2020,
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3},
  doi          = {10.1007/978-3-030-65840-3},
  isbn         = {978-3-030-65839-7},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dali/2020.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.