Wonder Club world wonders pyramid logo
×

First Steps in Modal Logic Book

First Steps in Modal Logic
First Steps in Modal Logic, , First Steps in Modal Logic has a rating of 3 stars
   2 Ratings
X
First Steps in Modal Logic, , First Steps in Modal Logic
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • First Steps in Modal Logic
  • Written by author Sally Popkorn
  • Published by Cambridge University Press, December 1994
  • This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers.
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Introduction
Acknowledgements
IPreliminaries1
1Survey of propositional logic3
2The modal language13
IITransition structures and semantics23
3Labelled transition structures25
4Valuation and satisfaction39
5Correspondence theory61
6The general confluence result77
IIIProof theory and completeness89
7Some consequence relations91
8Standard formal systems97
9The general completeness result119
10Kripke-completeness129
IVModel constructions139
11Bisimulations141
12Filtrations157
13The finite model property169
VMore advanced material185
14SLL logic187
15Lob logic201
16Canonicity without the fmp217
17Transition structures aren't enough225
Appendices235
Bibliography311


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

First Steps in Modal Logic, , First Steps in Modal Logic

X
WonderClub Home

This item is in your Collection

First Steps in Modal Logic, , First Steps in Modal Logic

First Steps in Modal Logic

X
WonderClub Home

This Item is in Your Inventory

First Steps in Modal Logic, , First Steps in Modal Logic

First Steps in Modal Logic

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: