Contents -- 1 Fine Grained Theories of Time -- 1.1 Priorean Tense Logic -- 1.2 Referential Tense Logic -- 1.3 A First Look at Allen's System -- 1.4 A Sorted Interval-Based Language -- 1.5 Concluding Remarks -- Bibliography -- 2 Revision Sequences and Computers With an Infinite Amount of Time -- 2.1 Introduction -- 2.2 The Gupta-Belnap Systems -- 2.2.1 Revision Sequences -- 2.2.2 The Systems S# and S* -- 2.3 Infinite Time Turing Machines -- 2.4 Revision Sequences Modeled by Infinite Time Turing Machines -- 2.5 The Limit Rule and Other Applications -- 2.6 Aftermath -- Bibliography -- 3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics -- 3.1 Aims of This Paper -- 3.2 The Dialogical Approach to Free Logic -- 3.2.1 Dialogical Free Logic With and Without tertium non datur -- 3.2.2 Winning Strategies and Dialogical Tableaux for DFL -- 3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL -- 3.2.4 Combining DFLI and DFLC -- 3.3 Inconsistent Objects -- 3.3.1 Paraconsistency -- 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare -- 3.4 Conclusions -- Bibliography -- 4 Truthmakers Entailment and Necessity -- 4.1 Truthmakers -- 4.2 Entailment -- 4.3 Necessity -- 4.4 Reductionism -- 4.5 Proofs -- 4.6 Conclusion -- Bibliography -- 5 Global Definability in Basic Modal Logic -- 5.1 Introduction -- 5.2 Basic Concepts -- 5.3 Local Definability -- 5.4 Global Definability -- 5.5 Hansoul's Theorem -- 5.6 Universal Classes -- 5.7 Concluding Remarks -- Bibliography -- 6 Ackermann's Implication for Typefree Logic -- 6.1 Ackermann's Typefree Logic -- 6.1.1 Deductive and Combinatorial Completeness -- 6.1.2 A Deductive Interpretation of Implication -- 6.1.3 The Positive Fragments of Ackermann's Systems -- 6.1.4 The Two Deducibility Relation of E+.

6.2 A Hierarchy of Deductive Systems -- 6.2.1 The Base Calculus K0 -- 6.2.2 The Calculus K1 -- 6.2.3 The Full Hierarchy -- 6.3 Algebraic Semantics -- 6.3.1 Ackermann Structures -- 6.3.2 The Canonical Ackermann Lattice -- Bibliography -- 7 Why Dialogical Logic? -- 7.1 Introduction -- 7.1.1 Pluralism Concerning Logics and Logical Methodology -- 7.1.2 Dialogical Logic: A Short Outline -- 7.2 Prejudices Against Dialogical Logic -- 7.2.1 'Dialogical Logic is a Constructivistic Logic' -- 7.2.2 'Dialogical Logic is Limited to Classical and Intuitionistic Logic' -- 7.2.3 'Dialogical Logic Complicates Things Unnecessarily' -- 7.3 Advantages of Dialogical Logic -- 7.3.1 The Distinction between General and Formal Truth -- 7.3.2 The Distinction between the Level of Games and the Level of Strategies -- 7.3.3 The Distinction between the Particle Rules and the Structural Rules -- 7.4 Concluding Remarks -- Bibliography -- 8 Semantics for Constructive Negations -- 8.1 Preliminaries. A Hierarchy of Negations -- 8.2 Introduction. "Kripke-Approach" to Semantic Analysis -- 8.3 Formal Definitions of Construction Negation and Informal Understanding of Negation in Intuitionism -- 8.4 State-Descriptions as a Method of Semantic Analysis. A Model for Positive Logic -- 8.5 Intuitionistic State-Descriptions. Models for Negation -- 8.5.1 The System M -- 8.5.2 The System I -- 8.5.3 The System D -- 8.5.4 The System E -- 8.5.5 The System C -- 8.5.6 Propositional Constants -- 8.6 Soundness -- 8.7 Completeness -- 8.8 Generalizations -- Bibliography -- 9 Recent Trends in Paraconsistent Logic -- 9.1 Philosophical and Historical Background -- 9.1.1 A Few Historical Remarks -- 9.1.2 The Principle of Contradiction -- 9.2 Harnessing Paraconsistency -- 9.2.1 Mathematics -- 9.2.2 Automated Reasoning -- 9.2.3 Belief Revision.

9.2.4 Philosophy and Methodology -- 9.3 Main Tendencies in Paraconsistent Logic -- 9.3.1 Da Costa's Systems -- 9.3.2 Many-Valued and Relevant Logic -- 9.3.3 Inconsistency Adaptive Logic -- 9.3.4 Non-Adjunctive Systems -- 9.3.5 Other Approaches -- 9.3.6 Will There be a Unification? -- Bibliography -- 10 Obligations Authorities and History Dependence -- 10.1 Introduction -- 10.2 Identification of Obligations -- 10.3 Authorities and Addressees of Norms -- 10.4 History Dependence -- Bibliography -- Index.