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 constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX

This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 p

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three compo