|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
“... are provided for a combined logic to be sound and complete when the original component logics are known...”Published 2008
Springer Netherlands