("ઔપચારિક લોજિક અને મોડલ લોજિક.