现代汉语时间副词是现代汉语副词的重要组成部分，也是表达汉语时体、时态、时频和时序的重要手段。本书传承语言逻辑的研究方法，以形式语义学理论（如时态逻辑、时段语义学、事件语义学、范畴语法、类型论等）为理论依据，以现代汉语时间副词为研究对象，以现代汉语语言实例为重要依托，深入剖析各类时间副词的形式语义，并构建了一个包含时间副词的现代汉语部分语句系统。本书研究视角独特，语料丰富翔实，分析精确细致，对准确理解时间副词的语义和推进自然语言的中文信息处理都具有积极作用。

Adverb is one big category of lexis in modern Chinese among which time adverbs are a significant constituent，accounting for30% of the total adverbial group.Up till now，studies on time adverbs of modern Chinese are conducted on traditional grammaratical levels.Few studies have been seen about the formal analysis through semantic perspective which proves to be a necessary path to natural language research assisted with artificial intelligence.In this book，we will make a profound analysis of the formal semantics of time adverbs based on relevant theories，including those of interval semantics，tense logic，event semantics，categorical grammar，type theory and so on.With abundant examples，we attempt to construct a fragment of modern Chinese addressed to time adverbs..This book is composed of seven chapters.Chapter I is the introduction，including significance of selected topic，main theories，source of corpus，research outline，research focus and difficulty.Chapter II presents the frontier studies on time adverbs.Firstly，a literature review is made to introduce studies on definition，classification and syntactic functions of modern Chinese time adverbs.Secondly，influential studies on modern Chinese time system are expounded.Thirdly，we also make a review of the achievements in the field of formal semantics in modern Chinese studies.The research methodology of this book is presented at the end of this chapter.Chapter Ⅲ，Ⅳ and Ⅴ focus on the formal semantic analysis of modern Chinese time adverbs，which are divided into three groups：adverbs of tense，frequency and sequence，followed by a detailed discussion about the three groups of time adverbs respectively by formal semantic means.Each chapter describes the semantic features，classification and scope of the specific group of time adverbs，and makes a formal semantic analysis with a similar procedure.First of all，by analyzing the semantic features of a specific time adverb with examples from corpus，we defines selective restrictions of syntactic generation，including the rules for selection of all phase types.Thereupon，the syntactic rules of this time adverb are concluded.Then，related logical interpretation rules for the translation of natural sentence into logic language are given.Finally，semantic interpretation of the time adverb in the light of Model Theory is presented.When analyzing its syntactic rules，we take the following into consideration：its designating of verbs and its co-occurrence with time point and section expressions，other time adverbs，tense auxiliaries verbs“zhe”，“le”，“guo”and negative lexis，etc.ChapterVI manifests a fragment of modern Chinese including time adverbs based on previous chapters.This fragment consists of logical syntax，time logical language L and translation rules.It simplifies some aspects of current fragments of Chinese.As the focus of the study，the semantic characterization of modern Chinese time adverbs is realized by integrated approaches.In addition to the semantic interpretation of these adverbs，we also discuss issues such as deductive relations between time adverbs，their deductive semantics and so on.The whole process of the syntactic generation，logic translation and formal semantic interpretation of a sentence are also demonstrated with concrete examples.Chapter Ⅶ is the conclusion，where research processing of this book is summarized，some rules are disclosed，the innovations and the deficiencies are both dealt with.In the last section，based on the time adverbs analyzed in this book，we construct a semantic annotation table for some modern Chinese time adverbs in the hope of promoting future research.Keywords：Modern Chinese；Time Adverbs；Formal Semantic；Fragment of Chinese；Logic of Language