Modal Logic - An IntroductionBrian F. ChellasPART I 1 - Introduction 2 - Logical preliminaries PART II 3 - Standard models for modal logics 4 - Normal systems of modal logic 5 - Determination and decidability for normal systems 6 - Deontic Logic PART III 7 - Minimal models for modal logics 8 - Classical systems of modal logic 9 - Determination and decidability for classical systems 10 - Conditional logic

An Introduction to Modal LogicG.E. Hughes, M.J. CresswellI. Modal Propositional Logic II. Modal Predicate Logic III. A Survey of Modal Logic

Popular Lectures on Mathematical LogicHao WangA noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory. Topics include the pl...

Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction 1 Background 2 Comparing NJ with LJ 3 Natural Deduction Revisited 4 The Problem of Substitution 5 A Multiple-Conclusion Calculus 6 Reduction Procedures 7 Correspondence Results 8 Interpretations of Derivations Appendices A. A Strong Cut-Elimination Theorem for LJ B. A Formulation of the Classical Sequent Calculus C. Proofs and Categories

Set TheoryThomas JechPart I. Sets 1. Axiomatic Set Theory 2. Transitive Models of Set Theory Part II. More Sets 3. Forcing and Generic Models 4. Some Applications of Forcing Part III. Large Sets 5. Measurable Cardinals 6. Other Large Cardinals Part IV. Sets of Reals 7. Descriptive Set Theory

Tense LogicRobert P. McArthur1. An Overview of Tense Logic 2. Linear Tense Logics 3. Branching Tense Logic and Temporal Modality 4. Quantificational Tense Logics 5. Soundness and Completeness Theorems for Tense Logic

The Elements of Mathematical LogicPaul RosenbloomI. The Logic of Classes II. The Logic of Propositions III. The Logic of Proposional Functions IV. The General Syntax of Language

Inleiding tot de symbolische logicaH.C.M. de Swart, H.G. HubbelingI. De Uitspraakrekening II. De Predicatenrekening III. De Onvolledigheids-stelling IV. Enkele bijzondere stystemen die met name voor de wijsbegeerte van belang zijn Antwoorden bij de oefeningen

Combinatory Logic, Vol. 1Haskell B. Curry, Robert Feys, William Craig1. Formal Systems 2. Epitheory 3. Lambda-Conversion 4. The Church-Rosser Theorem 5. Intuitive Theory of Combinatorics 6. Synthetic Theory of Combinatorics 7. Logistic Foundations 8. Introduction to Illative Combinatory Logic 9. The Basic Theory of Functionality 10. The Stronger Theories of Functionality

Inleiding in de MathesisDr. E.M. Bruins1. Elementaire analytische meetkunde 2. Differentiaalrekening 3. Complexe getallen 4. Hogere machtsvergelijkingen 5. Omhulden 6. Oneindige verzamelingen en haar afbeeldingen 7. Oneindige reeksen 8. De reeks van Taylor 9. Primitieve functies 10. Integraalrekening 11. Determinanten, lineaire vergelijkingen, eliminanten 12. Enkele meetkundige eigenschappen 13. Puntenparen en kegelsneden 14. Gewone en singuliere punten van vlakke krommen 15. Elementaire analyti...

Quantoren, Modalitäten, Paradoxien - Beiträge zur LogikHorst Wessel (ed.)Modalitäten, Paradoxien - Beiträge zur LogikHorst Wessel (ed.)