Thus, the central logical problems and techniques of tense logic were borrowed from modal logic.
Techniques of formal logic (also called symbolic logic) were developed for a very large class of arguments involving words such as and, or, not, some, all, and, in modal logic, possibly (or possible) and necessarily (or necessary).
As one means to this end, Carnap made extensive use of the concepts and techniques of symbolic logic in preference to the often inadequate analytic devices of traditional logic.
This correspondence, based on the equivalences above, is at the heart of the correspondence theory between modal and classical logic, which offers a systematic treatment of various aspects of temporal logic such as expressiveness, definability, and model theory with the tools and techniques of classical logic.
From an early date, Russell enunciated this viewpoint, finding in the techniques of symbolic logic a measure of reassurance that philosophy might be put on a new foundation.
More recent scholarship has often applied the very techniques of mathematical logic to Aristotle's theories, revealing (in the opinion of many) a number of similarities of approach and interest between Aristotle and modern logicians.
As with many problems having to do with common sense reasoning, the scale and complexity of the formalizations that are required are beyond the traditional techniques of philosophical logic.
Both heretical positions (for examples, the views about Christ and human nature held by Eutyches and Nestorius) and orthodox Christian doctrine are subjected to rigorous scrutiny, using the techniques of Aristotelian logic and, where necessary, ideas from Aristotelian physics.
This form of contextualism thus maintains that once we see the context-dependent behavior of Tri, we can make good sense of the instability of L. This can be seen as an improvement on both the Tarskian view, and embodying some of the techniques of classical logic we reviewed in §4.2.
The encodings generated by the constructions compare favorably to encodings derived using graph-based state encoding techniques in terms of logic complexity and logic depth.
