Title: Analysis and synthesis of logics
Subjects: Symbolic and mathematical Logic, Logic, symbolic and mathematical, Mathematics, Logic, Computer science, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages