Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "DALI@TABLEAUX"( http://dblp.L3S.de/Venues/DALI@TABLEAUX )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tableaux

Publication years (Num. hits)
2017 (12) 2018 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
DALI@TABLEAUX(13)
Authors
Fernando R. Velázquez-Quesada(2) Raul Fervari(2) Sonja Smets(2) Alexandre Madeira(1) Alexandru Baltag(1) Álvaro F. Moreira(1) Ana Lucia Vargas Sandoval(1) Antónia Lopes(1) Aybüke Özgün(1) Carlos Areces(1) Clemens Kupke(1) Dusko Pavlovic(1) François Schwarzentruber(1) Guillaume Hoffmann 0001(1) Helle Hvid Hansen(1) Ionut Tutu(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alexandre Madeira, Mario R. F. Benevides (eds.) Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marlo Souza, Álvaro F. Moreira, Renata Vieira Dynamic Preference Logic as a Logic of Belief Change. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sonja Smets, Fernando R. Velázquez-Quesada The Creation and Change of Social Networks: A Logical Study Based on Group Size. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Soares Barbosa Layered Logics, Coalgebraically. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raul Fervari, Fernando R. Velázquez-Quesada Dynamic Epistemic Logics of Introspection. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema Parity Games and Automata for Game Logic. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José 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. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001, Mauricio Martel Undecidability of Relation-Changing Modal Logics. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tristan Charrier, Sophie Pinchinat, François Schwarzentruber Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets A Dynamic Logic for Learning Theory. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuri David Santos A Dynamic Informational-Epistemic Logic. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vaughan R. Pratt Dynamic Logic: A Personal Perspective. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license