Adding temporal logic to dynamic epistemic logic

Autor:	Sack, Joshua.
Jazyk:	angličtina
Rok vydání:	2007
Předmět:	Mathematics. Artificial intelligence.
Popis:	Thesis (Ph.D.)--Indiana University, Dept. of Mathematics, 2007. Source: Dissertation Abstracts International, Volume: 68-07, Section: B, page: 4531. Adviser: Lawrence Moss. Title from dissertation home page (viewed Apr. 22, 2008).
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3274928 Zobrazit plný text záznamu