Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008208382/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b11417896.
- catalog created "1999.".
- catalog date "1999".
- catalog date "1999.".
- catalog dateCopyrighted "1999.".
- catalog description "Includes bibliographical references (p. 549-559) and index.".
- catalog description "Pt. 1. The Fundamentals -- Ch. 1. Algebra, Logic and Deduction -- Ch. 2. Fundamentals of Modal Logic I -- Ch. 3. Fundamentals of Modal Logic II -- Pt. 2. The General Theory of Modal Logic -- Ch. 4. Universal Algebra and Duality Theory -- Ch. 5. Definability and Correspondence -- Ch. 6. Reducing Polymodal Logic to Monomodal Logic -- Ch. 7. Lattices of Modal Logics -- Pt. 3. Case Studies -- Ch. 8. Extensions of K4 -- Ch. 9. Logics of Bounded Alternativity -- Ch. 10. Dynamic Logic.".
- catalog extent "xiii, 559 p. :".
- catalog hasFormat "Tools and techniques in modal logic.".
- catalog identifier "0444500553 (alk. paper)".
- catalog isFormatOf "Tools and techniques in modal logic.".
- catalog isPartOf "Studies in logic and the foundations of mathematics ; v. 142".
- catalog issued "1999".
- catalog issued "1999.".
- catalog language "eng".
- catalog publisher "Amsterdam ; New York : Elsevier,".
- catalog relation "Tools and techniques in modal logic.".
- catalog subject "511.3 21".
- catalog subject "Modality (Logic)".
- catalog subject "QA9.46 .K7 1999".
- catalog tableOfContents "Pt. 1. The Fundamentals -- Ch. 1. Algebra, Logic and Deduction -- Ch. 2. Fundamentals of Modal Logic I -- Ch. 3. Fundamentals of Modal Logic II -- Pt. 2. The General Theory of Modal Logic -- Ch. 4. Universal Algebra and Duality Theory -- Ch. 5. Definability and Correspondence -- Ch. 6. Reducing Polymodal Logic to Monomodal Logic -- Ch. 7. Lattices of Modal Logics -- Pt. 3. Case Studies -- Ch. 8. Extensions of K4 -- Ch. 9. Logics of Bounded Alternativity -- Ch. 10. Dynamic Logic.".
- catalog title "Tools and techniques in modal logic / Marcus Kracht.".
- catalog type "text".