DALI@TABLEAUX

Keyphrases

Publications

volume 10669, 2018

Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings DALI@TABLEAUX 10669 (2018)

2017

Marlo Souza, Álvaro F. Moreira, Renata Vieira
Dynamic Preference Logic as a Logic of Belief Change. DALI@TABLEAUX (2017)
Sonja Smets, Fernando R. Velázquez-Quesada
The Creation and Change of Social Networks: A Logical Study Based on Group Size. DALI@TABLEAUX (2017)
Luís Soares Barbosa
Layered Logics, Coalgebraically. DALI@TABLEAUX (2017)
Raul Fervari, Fernando R. Velázquez-Quesada
Dynamic Epistemic Logics of Introspection. DALI@TABLEAUX (2017)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic. DALI@TABLEAUX (2017)
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. DALI@TABLEAUX (2017)
Philippe Balbiani, Joseph Boudou
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. DALI@TABLEAUX (2017)
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
Undecidability of Relation-Changing Modal Logics. DALI@TABLEAUX (2017)
Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. DALI@TABLEAUX (2017)
Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
A Dynamic Logic for Learning Theory. DALI@TABLEAUX (2017)
Yuri David Santos
A Dynamic Informational-Epistemic Logic. DALI@TABLEAUX (2017)
Vaughan R. Pratt
Dynamic Logic: A Personal Perspective. DALI@TABLEAUX (2017)