## Find a copy online

### Links to this item

dx.doi.org Connect to e-book

survey.bris.ac.uk 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

## Find a copy in the library

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:

## 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, Choice "This text should appeal to anyone with an interest in model logic...an attractive choice for self-study." J.M. Plotkin, Mathematical Reviews ..".offers a distinctive viewpoint and is easy to learn from." D.V. Feldman, Choice Read more...

*User-contributed reviews*