Adding temporal logic to dynamic epistemic logic
by Sack, Joshua, Ph.D., INDIANA UNIVERSITY, 2007, 179 pages; 3274928

Abstract:

This dissertation adds to dynamic epistemic logic temporal operators that help us reason about time. Dynamic epistemic logic allows us to express changes in knowledge and beliefs as a result of actions such as public and private announcements. Its foundation is epistemic logic, which is a useful tool in reasoning about knowledge and beliefs of agents and has applications in artificial intelligence, computer security, philosophy, and game theory. But epistemic logic alone will only take a snapshot of the knowledge and beliefs of agents in a situation that is constantly changing. Logics that combine time and change with epistemic logic can greatly improve our ability to reason about the types of situations that epistemic logic has been used for. Dynamic epistemic logic (DEL) combines epistemic logic with statements that express new knowledge and beliefs as a result of actions. But another approach is temporal epistemic logic (TEL), which combines temporal logic with epistemic logic, allowing both past and future knowledge and beliefs to be expressed. The logics introduced in this dissertation, called temporal dynamic epistemic logics (TDEL), capture both DEL's ability to express consequences of actions and TEL's ability to express features of the past and future irrespective of their causes. Such languages help in reasoning about a number of philosophical puzzles, such as the Sum and Product problem, and paradoxes such as Moore's paradox. A sound and complete proof system is provided for a language that adds to DEL the ability to express features of the past. Decidability of the language follows from the proof of its completeness. The completeness and decidability of some related languages are discussed.

 
AdviserLawrence Moss
SchoolINDIANA UNIVERSITY
SourceDAI/B 68-07, p. , Nov 2007
Source TypeDissertation
SubjectsMathematics; Artificial intelligence
Publication Number3274928
Adobe PDF Access the complete dissertation:
 

» Find an electronic copy at your library.
  Use the link below to access a full citation record of this graduate work:
  http://gateway.proquest.com/openurl%3furl_ver=Z39.88-2004%26res_dat=xri:pqdiss%26rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation%26rft_dat=xri:pqdiss:3274928
  If your library subscribes to the ProQuest Dissertations & Theses (PQDT) database, you may be entitled to a free electronic version of this graduate work. If not, you will have the option to purchase one, and access a 24 page preview for free (if available).

About ProQuest Dissertations & Theses
With over 2.3 million records, the ProQuest Dissertations & Theses (PQDT) database is the most comprehensive collection of dissertations and theses in the world. It is the database of record for graduate research.

The database includes citations of graduate works ranging from the first U.S. dissertation, accepted in 1861, to those accepted as recently as last semester. Of the 2.3 million graduate works included in the database, ProQuest offers more than 1.9 million in full text formats. Of those, over 860,000 are available in PDF format. More than 60,000 dissertations and theses are added to the database each year.

If you have questions, please feel free to visit the ProQuest Web site - http://www.proquest.com - or call ProQuest Hotline Customer Support at 1-800-521-3042.