Links recently added to the logic-tutorial page :
G. Sandu : Appendix to Jaakko Hintikka's, the principles of Mathematics Revisited (truth definition in IF-logic, en français)
Melvin Fitting : Notes on mathematical aspects of Kripke's theory of truth
Melvin Fitting : On quantified modal logic(1998, .pdf, 18p)
Melvin Fitting : First-order intensional logic (2003, .pdf, 21p.)
Melvin Fitting : First order intensional logic axiomatized (.pdf, 22p)
Melvin Fitting : Higher-order modal logic - a sketch (.pdf, 17p.)
P. Blackburn and J. Van Benthem : Modal logic : a semantic perspective(.pdf , 75p.)
P. Blackburn and Maarten Marx : Lectures on Hybrid logic
D. Bonnay et M. Cozic :La théorie de la correspondance (50 p. , .pdf, en français)
M. Cozic et P. Egré : Logique des conditionnels (.pdf, 2006, en français)
Samuel Buss : An introduction to proof theory (.pdf, 78p., chap.1 of the Handbook of proof theory)
Samuel Buss : First-order theory of arithmetic(.pdf, 70p., chap.2 of the Handbook of proof theory)
Samuel Buss : Bounded Arithmetic (.pdf, 1986)