Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007304361/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b10086928.
- catalog contributor b10086929.
- catalog contributor b10086930.
- catalog created "1996.".
- catalog date "1996".
- catalog date "1996.".
- catalog dateCopyrighted "1996.".
- catalog description "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.".
- catalog description "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.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xiv, 247 p. ;".
- catalog identifier "1575860244 (pbk.)".
- catalog identifier "1575860252 (alk. paper)".
- catalog issued "1996".
- catalog issued "1996.".
- catalog language "eng".
- catalog publisher "Stanford, Calif. : CSLI Publications,".
- catalog subject "160 20".
- catalog subject "BC71 .A77 1996".
- catalog subject "Logic.".
- catalog subject "Modality (Logic)".
- catalog tableOfContents "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.".
- catalog title "Arrow logic and multi-modal logic / edited by Maaren Marx, László Pólos, and Michael Masuch.".
- catalog type "text".