Search dblp for Publications

export results for "toc:db/conf/tableaux/dali2017.bht:"

 download as .bib file

@proceedings{DBLP:conf/tableaux/2017dali,
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73579-5},
  doi          = {10.1007/978-3-319-73579-5},
  isbn         = {978-3-319-73578-8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/2017dali.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/ArecesFHM17,
  author       = {Carlos Areces and
                  Raul Fervari and
                  Guillaume Hoffmann and
                  Mauricio Martel},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Undecidability of Relation-Changing Modal Logics},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_1},
  doi          = {10.1007/978-3-319-73579-5\_1},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/ArecesFHM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/BalbianiB17,
  author       = {Philippe Balbiani and
                  Joseph Boudou},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Axiomatization and Computability of a Variant of Iteration-Free {PDL}
                  with Fork},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {17--34},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_2},
  doi          = {10.1007/978-3-319-73579-5\_2},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/BalbianiB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/BaltagGOSS17,
  author       = {Alexandru Baltag and
                  Nina Gierasimczuk and
                  Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and
                  Ana Lucia Vargas Sandoval and
                  Sonja Smets},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {A Dynamic Logic for Learning Theory},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {35--54},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_3},
  doi          = {10.1007/978-3-319-73579-5\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/BaltagGOSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Barbosa17,
  author       = {Lu{\'{\i}}s Soares Barbosa},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Layered Logics, Coalgebraically},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {55--63},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_4},
  doi          = {10.1007/978-3-319-73579-5\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Barbosa17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/CharrierPS17,
  author       = {Tristan Charrier and
                  Sophie Pinchinat and
                  Fran{\c{c}}ois Schwarzentruber},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Model Checking Against Arbitrary Public Announcement Logic: {A} First-Order-Logic
                  Prover Approach for the Existential Fragment},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {133--152},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_9},
  doi          = {10.1007/978-3-319-73579-5\_9},
  timestamp    = {Mon, 08 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/CharrierPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/FervariV17,
  author       = {Raul Fervari and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Dynamic Epistemic Logics of Introspection},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_6},
  doi          = {10.1007/978-3-319-73579-5\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/FervariV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/FiadeiroTLP17,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Ionut Tutu and
                  Ant{\'{o}}nia Lopes and
                  Dusko Pavlovic},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Logics for Actor Networks: {A} Case Study in Constrained Hybridization
                  - {A} Case Study in Constrained Hybridization},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {98--114},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_7},
  doi          = {10.1007/978-3-319-73579-5\_7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/FiadeiroTLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/HansenKMV17,
  author       = {Helle Hvid Hansen and
                  Clemens Kupke and
                  Johannes Marti and
                  Yde Venema},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Parity Games and Automata for Game Logic},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_8},
  doi          = {10.1007/978-3-319-73579-5\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/HansenKMV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Pratt17,
  author       = {Vaughan R. Pratt},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Dynamic Logic: {A} Personal Perspective},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {153--170},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_10},
  doi          = {10.1007/978-3-319-73579-5\_10},
  timestamp    = {Mon, 08 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Pratt17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Santos17,
  author       = {Yuri David Santos},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {A Dynamic Informational-Epistemic Logic},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {64--81},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_5},
  doi          = {10.1007/978-3-319-73579-5\_5},
  timestamp    = {Mon, 08 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Santos17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/SmetsV17,
  author       = {Sonja Smets and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {The Creation and Change of Social Networks: {A} Logical Study Based
                  on Group Size},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {171--184},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_11},
  doi          = {10.1007/978-3-319-73579-5\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/SmetsV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/SouzaMV17,
  author       = {Marlo Souza and
                  {\'{A}}lvaro F. Moreira and
                  Renata Vieira},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Dynamic Preference Logic as a Logic of Belief Change},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {185--200},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_12},
  doi          = {10.1007/978-3-319-73579-5\_12},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/SouzaMV17.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.