Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David Fernández Duque" ( http://dblp.L3S.de/Authors/David_Fernández_Duque )

  Author page on DBLP  Author page in RDF  Community of David Fernández Duque in ASPL-2

Publication years (Num. hits)
2007 (1) 2010 (1) 2011 (7) 2012 (5)
Publication types (Num. hits)
article(10) inproceedings(4)
Venues (Conferences, Journals, ...)
Logic Journal of the IGPL(3) CoRR(2) Advances in Modal Logic(1) Ann. Pure Appl. Logic(1) CLIMA(1) DCAI(1) Electr. Notes Theor. Comput. S...(1) IJCAI(1) J. Philosophical Logic(1) J. Symb. Log.(1) Studia Logica(1)
Authors
David Fernández Duque(14) Hans P. van Ditmarsch(4) Fernando Soler-Toscano(3) Andrés Cordón-Franco(2) Ángel Nepomuceno-Fernández(2) Joost J. Joosten(2) Francisco J. Salguero-Lamillar(1) Manuel Ojeda-Aciego(1) Michael H. Albert(1) Valentin Goranko(1) Wiebe van der Hoek(1) Wojtek Jamroga(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández Duque Tableaux for structural abduction. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fernando Soler-Toscano, David Fernández Duque, Ángel Nepomuceno-Fernández A modal framework for modelling abductive reasoning. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Fernández Duque Dynamic topological logic of metric spaces. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1David Fernández Duque Tangled modal logic for topological dynamics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Fernández Duque A sound and complete axiomatization for Dynamic Topological Logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1David Fernández Duque On the Modal Definability of Simulability by Finite Transitive Models. Search on Bibsonomy Studia Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Fernández Duque Dynamic Topological Logic Interpreted over Minimal Systems. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano A secure additive protocol for card players Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Fernández Duque Tangled Modal Logic for Spatial Reasoning. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael H. Albert, Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano Secure Communication of Local States in Interpreted Systems. Search on Bibsonomy DCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Fernández Duque Absolute Completeness of S4u for Its Measure-Theoretic Semantics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1David Fernández Duque Dynamic Topological Completeness for R2. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.