But combinations of logics also work form another perspective: instead of directly combining logic systems and looking for the interpretation of the resulting system, one can start from a purely mathematical perspective.
The subject of combinations of logics is still a young topic in contemporary logic.
The interest of studying combinations of logics may thus be seen as a reflex of the pluralist view of contemporary logical research.
But the fact is that combinations of logics do not necessarily depend upon any highly technical methodology, and even some relatively simple examples can be really expressive.
All of these methods open the way for a new subject in the realm of combinations of logics: is it possible to decompose a given logic into elementary ones?
Other applications of combinations of logics include software specification, knowledge representation, architectures for intelligent computing and quantum computing, security protocols and authentication, secure computation and zero-knowledge proof systems, besides their connections to formal ethics and game semantics.
By using concepts of combinations of languages and combinations of logics, G. Schurz (cf. Schurz 1991; see also Schurz 1997) was able to state a generalized Hume's thesis (GH); as observed in Subsection 4.1, this treatment is in fact a fusion of two modal logics.
However, the method of developing a service by combining business and constraints consumes much effort because the entire combination of logic may be changed according to the business rule changes.
They were driven, it seems, by a rare combination of logic and vision.
I have never met anyone who could quite so formidably and effortlessly take a complicated scenario, think so comprehensively around the issue and then apply such a combination of logic, strategy and practicality to creating a solution.
