Abstract/Details

Timed modal epistemic logic


2012 2012

Other formats: Order a copy

Abstract (summary)

There will be three parts in this thesis. The first part is a survey of epistemic logic. Epistemic logic was first introduced by philosophers, and later found its applications in fields such as Computer Science and Economics. The survey will cover both the philosophical debates and applications of epistemic logic, and then discussions of the logical omniscience problem will follow.

The second part is the introduction of a new logical framework timed Modal Epistemic Logic. tMEL. tMEL is extended from ordinary modal epistemic logic, MEL, by adding numerical labels to knowledge statement to indicate when the statement is known. We will argue how a logical framework reasoning about both knowledge and the time of reasoning can help to resolve the problem of logical omniscience, and tMEL serves well as a logically non-omniscient epistemic system.

Finally, we will discuss the syntactical relations between MEL, tMEL, and Justification Logic, from which the study of MEL is originated. Our focus will be on the relations between axiomatic proofs of these logical frameworks. We will first determine a proper subclass of modal logical proofs called non-circular, and prove that this class of proofs is complete. And then we will show that every non-circular MEL proof can be turned into a tMEL proof by finding suitable number labels, and prove that there is a two-way translation between proofs in tMEL and Justification Logic. Combining these results, a formal connection between non-circular proofs and proofs in Justification Logic is established, and the whole procedure gives us an alternative algorithm for the realization between theorems in modal logic and Justification Logic. This is the end of the abstract.

Indexing (details)


Subject
Logic;
Computer science
Classification
0395: Logic
0984: Computer science
Identifier / keyword
Philosophy, religion and theology; Applied sciences; Agent theory; Epistemic logic; Justification logic; Modal logic; Proof theory
Title
Timed modal epistemic logic
Author
Wang, Ren-June
Number of pages
191
Publication year
2012
Degree date
2012
School code
0046
Source
DAI-B 73/07(E), Dissertation Abstracts International
Place of publication
Ann Arbor
Country of publication
United States
ISBN
9781267236456
Advisor
Artemov, Sergei
Committee member
Bryukhov, Yegor; Fitting, Melvin; Parikh, Rohit
University/institution
City University of New York
Department
Computer Science
University location
United States -- New York
Degree
Ph.D.
Source type
Dissertations & Theses
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
3499326
ProQuest document ID
936705261
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
http://search.proquest.com/docview/936705261
Access the complete full text

You can get the full text of this document if it is part of your institution's ProQuest subscription.

Try one of the following:

  • Connect to ProQuest through your library network and search for the document from there.
  • Request the document from your library.
  • Go to the ProQuest login page and enter a ProQuest or My Research username / password.