Sold Out
Book Categories |
Introduction | ||
Acknowledgements | ||
I | Preliminaries | 1 |
1 | Survey of propositional logic | 3 |
2 | The modal language | 13 |
II | Transition structures and semantics | 23 |
3 | Labelled transition structures | 25 |
4 | Valuation and satisfaction | 39 |
5 | Correspondence theory | 61 |
6 | The general confluence result | 77 |
III | Proof theory and completeness | 89 |
7 | Some consequence relations | 91 |
8 | Standard formal systems | 97 |
9 | The general completeness result | 119 |
10 | Kripke-completeness | 129 |
IV | Model constructions | 139 |
11 | Bisimulations | 141 |
12 | Filtrations | 157 |
13 | The finite model property | 169 |
V | More advanced material | 185 |
14 | SLL logic | 187 |
15 | Lob logic | 201 |
16 | Canonicity without the fmp | 217 |
17 | Transition structures aren't enough | 225 |
Appendices | 235 | |
Bibliography | 311 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionFirst Steps in Modal Logic
X
This Item is in Your InventoryFirst Steps in Modal Logic
X
You must be logged in to review the productsX
X
X
Add First Steps in Modal Logic, , First Steps in Modal Logic to the inventory that you are selling on WonderClubX
X
Add First Steps in Modal Logic, , First Steps in Modal Logic to your collection on WonderClub |