Set Theory for Nonclassic Logics
This chapter is devoted to showing how the study of nonclassic logic provides a simple yet significant arena where to take advantage of the capability of set theory to provide a common formalism to encode a variety of specific logical languages. Moreover, the axiomatic set-theoretic systems chosen for the various encodings give examples of uses of the automated theorem-proving machinery, developed earlier in this book, for first-order set theories.
KeywordsModal Logic Propositional Variable General Frame Axiom Schema Modal Formula
Unable to display preview. Download preview PDF.