|
|
|
|
| LEADER |
00000cam a2200000Mu 4500 |
| 001 |
EBOOKCENTRAL_on1089524711 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr |n|---||||| |
| 008 |
190309s2013 gw o 000 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d CHVBK
|d OCLCQ
|d UEJ
|d OCLCQ
|d OCLCL
|
| 020 |
|
|
|a 9783832590000
|
| 020 |
|
|
|a 3832590005
|
| 029 |
1 |
|
|a AU@
|b 000065431361
|
| 029 |
1 |
|
|a CHNEW
|b 001040637
|
| 035 |
|
|
|a (OCoLC)1089524711
|
| 050 |
|
4 |
|a BC199.M6
|b .J478 2012
|
| 082 |
0 |
4 |
|a 160
|2 23
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Jervell, Herman Ruge.
|
| 245 |
1 |
0 |
|a Modal Logic
|
| 260 |
|
|
|a Berlin :
|b Logos Verlag Berlin,
|c 2013.
|
| 300 |
|
|
|a 1 online resource (105 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a Intro; 1 Frege systems; 1.1 Language of modal logic; 1.2 The calculi of modal logic; 1.3 Kripke models; 1.4 Completeness; 1.5 Finiteness; 2 Gentzen systems; 2.1 Strategies in and-or-trees; 2.2 The language of modal logic; 2.3 The basic modal system K; 2.4 Many worlds semantics; 2.5 Other systems; 3 Interpolation and diagonalization; 3.1 Classical logic; 3.2 Modal logic; 3.3 Fixpoint theorem; 3.4 Cantors diagonal argument; 3.5 Russells paradox; 3.6 Fixed point of functions; 3.7 Coding; 3.8 The halting problem; 3.9 The fix point theorem; 3.10 Diagonal lemma; 4 Provability; 4.1 Expressing syntax
|
| 505 |
8 |
|
|a 4.2 Calculi of syntax4.3 Gödel -- Löb modal logic; 5 Incompleteness; 5.1 Gödels zeroth incompleteness theorem; 5.2 Gödels first incompleteness theorem; 5.3 Gödels second incompleteness theorem; 5.4 Tarskis theorem; 6 Provability logic; 6.1 Solovays first completeness theorem; 6.2 Solovays second completeness teorem; 7 Multi modal logic; 7.1 Many modal operators; 7.2 Temporal logic; 7.3 Description logic; 7.4 Epistemic logic; 7.5 The Byzantine generals; 8 Games on finite arenas; 8.1 Arena; 8.2 Game trees; 8.3 Choices; 8.4 Infinite positional strategies; 9 Decision problems
|
| 505 |
8 |
|
|a 9.1 Games using input9.2 Second order monadic theory -- S2S; 9.3 Decidability of arithmetic; 9.4 Processes
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Modality.
|
| 758 |
|
|
|i has work:
|a Modal Logic (Work)
|1 https://id.oclc.org/worldcat/entity/E39PCYBVrpp8kvfMgmyvPwyRgC
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Jervell, Herman Ruge.
|t Modal Logic.
|d Berlin : Logos Verlag Berlin, ©2013
|z 9783832533021
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=5722994
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL5722994
|
| 994 |
|
|
|a 92
|b IZTAP
|
