Logic, Language, Information and Computation

Chapter 1 Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics

Chapter 2 A CTL-Based Logic for Program Abstractions

Chapter 3 Application of Logic to Integer Sequences: A Survey

Chapter 4 Logic, Language, Information and Computation

Chapter 5 Intuitionistic Logic and Computability Theory

Chapter 6 Foundations of Satisfiability Modulo Theories

Chapter 7 Logical Form as a Determinant of Cognitive Processes

Chapter 8 Formal Lifetime Reliability Analysis Using Continuous Random Variables

Chapter 9 Modal Logics with Counting

Chapter 10 Verification of the Completeness of Unification Algorithms à la Robinson

Chapter 11 Mechanisation of PDA and Grammar Equivalence for Context-Free Languages

Chapter 12 On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations

Chapter 13 Decidability and Undecidability Results on the Modal μ -Calculus with a Natural Number-Valued Semantics

Chapter 14 Solving the Implication Problem for XML Functional Dependencies with Properties

Chapter 15 On Anaphora and the Binding Principles in Categorial Grammar

Chapter 16 Feasible Functions over Co-inductive Data

Chapter 17 Interval Valued Fuzzy Coimplication

Chapter 18 Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures

Chapter 19 Intersection Type Systems and Explicit Substitutions Calculi

Chapter 20 Generalising Conservativity