Arrow logic and multi-modal logic
M. Marx, László Polós, Michael Masuch · Center for the Study of Language and Information eBooks · 1997
Contributors Preface 1. A crash course in arrow logic 2. Investigation in arrow logic 3. Causes and remedies for undecidability in arrow logics and in multi-modal logics 4. Associativity does not imply undecidability without axiom of modal distribution 5. Dynamic arrow logic 6. Complete calculus for conjugated arrow logic 7. Many-dimensional arrow structures arrow logics 8. What is modal logic? 9. Content versus wrapping: an essay in semantic complexity 10. A fine-structure analysis of first order logic Index Name index.