内容

目次

Contributors; Preface; 1. A crash course in arrow logic; 2.Investigation in arrow logic; 3. Causes and remedies for undecidability inarrow logics and in multi-modal logics; 4. Associativity does not implyundecidability without axiom of modal distribution; 5. Dynamic arrow logic;6. Complete calculus for conjugated arrow logic; 7. Many-dimensional arrowstructures; arrow logics; 8. What is modal logic?; 9. Content versuswrapping: an essay in semantic complexity; 10. A fine-structure analysis offirst order logic; Index; Name index.