This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with pr

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time

This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The prima

This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revis

An introduction to natural language semantics that offers an overview of the empirical domain and an explanation of the mathematical concepts that underpin the