default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDALI@TABLEAUX 2017: Brasília, Brazil
- Alexandre Madeira, Mario R. F. Benevides
:
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Lecture Notes in Computer Science 10669, Springer 2018, ISBN 978-3-319-73578-8 - Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel:
Undecidability of Relation-Changing Modal Logics. 1-16 - Philippe Balbiani, Joseph Boudou:
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. 17-34 - Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets:
A Dynamic Logic for Learning Theory. 35-54 - Luís Soares Barbosa:
Layered Logics, Coalgebraically. 55-63 - Yuri David Santos:
A Dynamic Informational-Epistemic Logic. 64-81 - Raul Fervari, Fernando R. Velázquez-Quesada:
Dynamic Epistemic Logics of Introspection. 82-97 - José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic:
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. 98-114 - Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic. 115-132 - Tristan Charrier, Sophie Pinchinat, François Schwarzentruber:
Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. 133-152 - Vaughan R. Pratt:
Dynamic Logic: A Personal Perspective. 153-170 - Sonja Smets, Fernando R. Velázquez-Quesada:
The Creation and Change of Social Networks: A Logical Study Based on Group Size. 171-184 - Marlo Souza, Álvaro F. Moreira, Renata Vieira:
Dynamic Preference Logic as a Logic of Belief Change. 185-200
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.
last updated on 2026-07-24 23:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
