Contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Completeness and Consistency as well as Logic as General Rationality. This book is aimed at students and researchers whose work or interests involve philosophical logic and its applications.