Analysis and Synthesis of Logics - Gabbay, Dov M.; Barwise, Jon; Carnielli, Walter A.; Carnielli, Walter Alexandre; Coniglio, Marcelo; Gouveia, Paula; Sernadas, Cristina (Springer Netherlands, 2008)