Title: Labelled deduction
Subjects: Modality (Logic), Mathematical And Symbolic Logic, Philosophy Of Mathematics, Philosophy, Mathematics, Artificial Intelligence - General, Logic, Computers : Artificial Intelligence - General, Mathematics / Logic, Philosophy / Logic, Computers