Research Catalog
Arrow logic and multi-modal logic / edited by Maaren Marx, László Pólos, and Michael Masuch.
- Title
- Arrow logic and multi-modal logic / edited by Maaren Marx, László Pólos, and Michael Masuch.
- Publication
- Stanford, Calif. : CSLI Publications, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | BC71 .A77 1996 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xiv, 247 p.; 24 cm.
- Summary
- Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science. The book gives a comprehensive survey of logical research within and around arrow logic.
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Processing Action (note)
- committed to retain
- Contents
- 1. A Crash Course in Arrow Logic / Yde Venema -- 2. Investigations in Arrow Logic / Maarten Marx, Szabolcs Mikulas and Istvan Nemeti [and others] -- 3. Causes and Remedies for Undecidability in Arrow Logics and in Multi-Modal Logics / Hajnal Andreka, Agnes Kurucz and Istvan Nemeti [et al.] -- 4. Associativity Does Not Imply Undecidability without the Axiom of Modal Distribution / Viktor Gyuris -- 5. Dynamic Arrow Logic / Maarten Marx -- 6. Complete Calculus for Conjugated Arrow Logic / Szabolcs Mikulas -- 7. Many-Dimensional Arrow Structures: Arrow Logics II / Dimiter Vakarelov -- 8. What is Modal Logic? / Maarten de Rijke -- 9. Content versus Wrapping: an Essay in Semantic Complexity / Johan van Benthem -- 10. A Fine-Structure Analysis of First-Order Logic / Istvan Nemeti.
- ISBN
- 1575860252 (alk. paper)
- 1575860244 (pbk.)
- LCCN
- ^^^96024385^
- OCLC
- 34919725
- SCSB-12801714
- Owning Institutions
- Harvard Library