The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi

Formal Semantics: The Essential Readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics.

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide p

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook

Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the

Compositionality in Formal Semantics is a collection of Barbara Partee’s papers that have been influential in the field but are not readily available and incl

This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provide

Connects the semantics of databases to that of natural language, and links them through a common view of the semantics of time.

In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of