Handbook of philosophical logic door