Why Combine Logics?

Published: 1997, Last Modified: 14 Jan 2026Stud Logica 1997EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Combining logics has become a rapidly expanding entreprise that is inspired mainly by concerns about modularity and the wish to join together tailor made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages.
Loading