Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second...
Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer scie...
Finding a particular scientific document amidst a sea of thousands of other documents can often seem like an insurmountable task. "The Structure of Scientific Articles" shows how linguistic theory can provide a solution by analyzing rhetorical structures to make information retrieval easier and faster. Through the use of an improved citation indexing system, this indispensable volume applies empirical discourse studies to pressing issues of document management, including attribution, the author s stance towards other work, and problem-solving processes."
Finding a particular scientific document amidst a sea of thousands of other documents can often seem like an insurmountable task. "The Structure of Sc...
Focusing on the descriptive facts of English, this volume provides a systematic introduction to English syntax for students with no prior knowledge of English grammar or syntactic analysis. "English Syntax" aims to help students appreciate the various sentence patterns available in the language, understand insights into core data of its syntax, develop analytic abilities to further explore the patterns of English, and learn precise ways of formalizing syntactic analysis for a variety of English data and major constructions such as agreement, raising and control, the auxiliary system, passive,...
Focusing on the descriptive facts of English, this volume provides a systematic introduction to English syntax for students with no prior knowledge of...
Focusing on the descriptive facts of English, this volume provides a systematic introduction to English syntax for students with no prior knowledge of English grammar or syntactic analysis. "English Syntax" aims to help students appreciate the various sentence patterns available in the language, understand insights into core data of its syntax, develop analytic abilities to further explore the patterns of English, and learn precise ways of formalizing syntactic analysis for a variety of English data and major constructions such as agreement, raising and control, the auxiliary system, passive,...
Focusing on the descriptive facts of English, this volume provides a systematic introduction to English syntax for students with no prior knowledge of...
Japanese and Korean are typologically quite similar languages, and the linguistic phenomena of the former often hve counterparts in the latter. These collections from the annual Japanese/Korean linguistics conference include essays on the phonology, morphology, syntax, semantics, historical linguistics, discourse analysis, prosody, and psycholinguistics of both languages. Such comparative studies deepen our understanding of both languages and will be a useful reference to students and scholars in either field.
Japanese and Korean are typologically quite similar languages, and the linguistic phenomena of the former often hve counterparts in the latter. The...
The twenty-five papers in this volume present current analyses of a variety of data and, more significantly, illustrate the various analytical tools available to linguists in the quest for deeper comprehension of the puzzles, questions, and problems they confront in natural language. The distinguished authors collected here explore interactions between linguistic structure and sound patterns across a diverse set of languages. The integrating theme of the volume is the influence of K. P. Mohanan s philosophy of inquiry, derived not only from his rich body of diverse work but also from the...
The twenty-five papers in this volume present current analyses of a variety of data and, more significantly, illustrate the various analytical tool...
Descriptive grammarians and typologists often encounter unusual constructions or unfamiliar variants of otherwise familiar construction types. Many of these phenomena are puzzling from the perspective of linguistic theories: they neither predict these anomalies nor, arguably, provide the tools to describe them insightfully. This book analyzes an unusual type of relative clause found in many related and unrelated languages of Eurasia. While providing a detailed case study of Tundra Nenets, it broadens this inquiry into a detailed typological exploration of this relative clause type. The...
Descriptive grammarians and typologists often encounter unusual constructions or unfamiliar variants of otherwise familiar construction types. Many of...
Donald E. Knuth s influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publishing. His award-winning textbooks have become classics that are often given credit for shaping the field, and his scientific papers are widely referenced and stand as milestones of development over a wide variety of topics. The present volume is the eighth in a series of his collected papers."
Donald E. Knuth s influence in computer science ranges from the invention of methods for translating and defining programming languages to the crea...
Because Japanese and Korean are typologically quite similar, a linguistic phenomenon in one language often has a counterpart in the other. The annual Japanese/Korean Linguistics Conference provides a forum for presenting research that will deepen our understanding of these two languages, especially through comparative study. The papers in this volume are from the eighteenth Japanese/Korean Linguistics Conference, which was held at the Graduate Center of the City University of New York in 2008. The papers cover a broad range of topics in Japanese/Korean linguistics, including phonology,...
Because Japanese and Korean are typologically quite similar, a linguistic phenomenon in one language often has a counterpart in the other. The annual ...
In Modal Logic for Open Minds, Johan van Benthem provides an up-to-dateintroduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, andalso covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, and games. Taken together, the chapters show modal...
In Modal Logic for Open Minds, Johan van Benthem provides an up-to-dateintroduction to the field of modal logic, outlining its major ideas ...