skip to content
First Steps in Modal Logic Preview this item
ClosePreview this item
Checking...

First Steps in Modal Logic

Author: Sally Popkorn
Publisher: Cambridge : Cambridge University Press, 1995.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sally Popkorn
ISBN: 9780511983382 0511983387 9780521464826 052146482X
OCLC Number: 776951468
Notes: Title from publishers bibliographic system (viewed on 22 Dec 2011).
Description: 1 online resource (332 pages)
Contents: Introduction; Acknowledgements; Part I. Preliminaries: 1. Survey of propositional logic; 2. The modal language; Part II. Transition Structures and Semantics: 3. Labelled transition structures; 4. Valuation and satisfaction; 5. Correspondence theory; 6. The general confluence result; Part III. Proof Theory and Completeness: 7. Some consequence relations; 8. Standard formal systems; 9. The general completeness result; 10. Kripke-completeness; Part IV. Model Constructions: 11. Bismulations; 12. Filtrations; 13. The finite model property; Part V. More Advanced Material: 14. SLL logic; 15. Lob logic; 16. Canonicity without the fmp; 17. Transition structures aren't enough; Part VI. Two Appendices: Bibliography.
Responsibility: Sally Popkorn.

Abstract:

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. ."..offers a distinctive viewpoint and is easy to learn from." D.V. Feldman, Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/776951468> # First Steps in Modal Logic
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "776951468" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/32425842#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/44395643> ; # Sally Popkorn
    schema:datePublished "1995" ;
    schema:datePublished "1994" ;
    schema: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. 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/32425842> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/32425842#CreativeWork/> ;
    schema:name "First Steps in Modal Logic"@en ;
    schema:productID "776951468" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/776951468#PublicationEvent/cambridge_cambridge_university_press_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/32425842#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://www.survey.bris.ac.uk/standrews/cambridgebooksonlinetrial> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3006602> ;
    schema:url <http://dx.doi.org/10.1017/CBO9780511983382> ;
    schema:workExample <http://worldcat.org/isbn/9780521464826> ;
    schema:workExample <http://worldcat.org/isbn/9780511983382> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/776951468> ;
    .


Related Entities

<http://dx.doi.org/10.1017/CBO9780511983382>
    rdfs:comment "Connect to e-book" ;
    .

<http://experiment.worldcat.org/entity/work/data/32425842#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://id.worldcat.org/fast/1024350> # Modality (Logic)
    a schema:Intangible ;
    schema:name "Modality (Logic)"@en ;
    .

<http://viaf.org/viaf/44395643> # Sally Popkorn
    a schema:Person ;
    schema:familyName "Popkorn" ;
    schema:givenName "Sally" ;
    schema:name "Sally Popkorn" ;
    .

<http://worldcat.org/isbn/9780511983382>
    a schema:ProductModel ;
    schema:isbn "0511983387" ;
    schema:isbn "9780511983382" ;
    .

<http://worldcat.org/isbn/9780521464826>
    a schema:ProductModel ;
    schema:isbn "052146482X" ;
    schema:isbn "9780521464826" ;
    .

<http://www.survey.bris.ac.uk/standrews/cambridgebooksonlinetrial>
    rdfs:comment "We have trial access to this e-book until 31/7/2012 through our Cambridge Books Online trial of over 12,000 titles. Please tell us if you would like to recommend continued access to it" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.