Items related to First Steps in Modal Logic
Synopsis
This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.
"synopsis" may belong to another edition of this title.
Book Description
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory.
From the Back Cover
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises, and an extensive set of solutions is provided.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1995
- ISBN 10 052146482X
- ISBN 13 9780521464826
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages332
Search results for First Steps in Modal Logic
Stock Image
First Steps in Modal Logic
Published by
Cambridge University Press,, Cambridge & New York, 1994
ISBN 10: 052146482X
ISBN 13: 9780521464826
Used
Hardcover
First Edition
Seller: About Books, Henderson, NV, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good condition. NOT a library discard (illustrator). First Edition. Cambridge & New York: Cambridge University Press, 1994. NOT a library discard. Very Good condition. Square and tight. Previous owner's name on the front free endpaper. NOT a library discard. NOT a remainder. A few margin notes and occasional underlining on the first 26 pages and in the bibliography at the end. Pages are otherwise clean and unmarked. NO highlighting. Bound in the original red laminated boards. From the publisher: "This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.". First Edition. Hardcover. Very Good condition/No dust jacket, as issued. Illus. by NOT a library discard. 8vo. xiii, 314pp. Great Packaging, Fast Shipping. Seller Inventory # 030603
Quantity: 1 available
Stock Image
First Steps in Modal Logic
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. First edition, first printing, 314 pp., hardcover, previous owner's name to front free endpaper else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1317065
Quantity: 1 available
Stock Image
First Steps in Modal Logic
Published by
Cambridge University Press, 1994
ISBN 10: 052146482X
ISBN 13: 9780521464826
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9780521464826. Seller Inventory # 9789729
Quantity: 1 available
Stock Image
First Steps in Modal Logic.
Published by
Cambridge University Press, 1994
ISBN 10: 052146482X
ISBN 13: 9780521464826
Used
Hardcover
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIII, 314 Seiten, Englisch 574g. Seller Inventory # 492484
Quantity: 1 available
Stock Image
First Steps in Modal Logic
Published by
Cambridge University Press, 1994
ISBN 10: 052146482X
ISBN 13: 9780521464826
Used
Hardcover
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Cloth/Laminated Boards. Condition: Very Good. Type: Book N.B. Small plain label to inside front cover. Rubbing to corners of boards. Seller Inventory # 055914
Quantity: 1 available
Stock Image
First Steps in Modal Logic
Published by
Cambridge University Press, 1995
ISBN 10: 052146482X
ISBN 13: 9780521464826
New
Hardcover
Seller: DeckleEdge LLC, Albuquerque, NM, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # Shelfdream052146482X
Quantity: 1 available
Stock Image
First Steps in Modal Logic
Published by
Cambridge University Press, 1995
ISBN 10: 052146482X
ISBN 13: 9780521464826
New
Hardcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190003837
Quantity: Over 20 available
Stock Image
First Steps in Modal Logic
Published by
Cambridge University Press, 1995
ISBN 10: 052146482X
ISBN 13: 9780521464826
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521464826
Quantity: Over 20 available
Stock Image
First Steps in Modal Logic (Hardcover)
Published by
Cambridge University Press, Cambridge, 1994
ISBN 10: 052146482X
ISBN 13: 9780521464826
New
Hardcover
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided. This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521464826
Quantity: 1 available
Stock Image
First Steps in Modal Logic
Published by
Cambridge University Press, 1995
ISBN 10: 052146482X
ISBN 13: 9780521464826
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 690. Seller Inventory # C9780521464826
Quantity: Over 20 available