Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7
Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Logic and the Modalities in the Twentieth Century, Vol. 7

Авторы: Gabbay D.M. (Ed), Woods J. (Ed)

Аннотация:

Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.
This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2006

Количество страниц: 719

Добавлена в каталог: 22.05.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Sequential composition      505
Sergot, M.      252
Set-theoretical necessity      29
Sheaf theory      37 77
Shehtman, V.      41 75
Shelah, S.      68
Short-term memory      167
Simpson, A.      76
Sinnott — Armstrong, W.      243
Site      77
Small step semantics      508 509
Smorynaski, C.      73 75
SnS      49 72
Sobocinaski, B.      52
Solecki, S.      537
Solovay, R.      36 73—75
Sosa, E.      244
Sound logic      45
Soundness      213
Spaan, E.      50
Special relativity      41
Special theory of relativity      482489
Spheres      138
Splitting logic      47
Stack valued assignment      582
Stalnaker, R.      573 574 589
Standard Analysis      255 256
Standard Deontic Logic (SDL)      206 207 220 226
Standard semantics      222
State formulas      69
State set      83
State-description      22 32
Staudacher, P.      576
Stavi, J.      64 68
Stirling, C.      67
STIT      251 252
Stit-expressions      492 494
Stit-formalism      492—494
Stockmeyer, L.      69
Stokhof, M.      552 556 574—576 585 593
Stone's Boolean representation      1 9 12 15 38
Stone, M.      13
Stoy, J.      512
Streett, R.      69 72 528 530
Strict detachment rule      7
Strict implication      6
Strict necessitation      222
Strongest postcondition      514
Structural operational semantics      508 509
Subdirect irreducibility      40
Subdirectly irreducible      44
Subframe      44
Substitution      565
Substitution of strict equivalents      7
Substitutivity of equals      29
Supererogation Problem      244
Supererogatory      197
Sylvan, R.      456
Symbolic logic      199
t      220 226
Tan, Y.-H.      592
Tan, Y.H.      236
Tang, Tsao-Chen      11
Tarski, A.      8 10 12 13 15 17 18 22 29 35 36 55 70 571
TAUT      207
Tempo-modal logic, semantics of      430—436
Tempo-modal logic, syntax of      425—430
Temporal logic      447—495
Tense logic      3 26 40 68 404 405 414—417 420 421 425 426 428 430 431 433 436—439 441—443 450 452 453 455 456 458 460—462 465 469 473 475477 482 485—489 494
Termination      507
The least one can do      197
The Logical Necessity of Obligations Problem      227
Theory of Normative Positions      252
Theory of Normative Positoins      252
Thomas, I.      403
Thomas, W.      69
Thomason, R.H.      257 492
Thomason, S.K.      46 50 54—57 478
Three-point structure for tenses      449 450 452 453
Three-valued logic      402 415
Tierney, M.      36 77
Time      257
Tinchev, T.      527
Tiuryn, J.      499 527 537 548
Topological closure      11
Topology on a topos      77
Topos theory      36 76
Torre, L. van der      592
Traditional Definitional Scheme (TDS)      202 205 206 208
Traditional Scheme      203 205 206
Traditional Scheme's deontic operators      217
Traditional Threefold Classification (TTC)      202
Transformational program      516
Transition structure      83
Troelstra, A.      44
Truth table      19
Truth value in a topos      77
TTC      206
Turi, D.      83
Turing completeness      504
Turing, A.      504
U-calculus      25 51 85
Ulam, S.      14
Ultrafilter extension      57
Ultraproduct      57
Undecidable modal logics      50 54 61
Unpayable debts      233
Update operator      128
Update PDL      538
Update product      132
Update semantics      128 590
Urmson's Puzzle      243
Urmson, J.O.      243
Urquhart, A.      50 67
van Benthem, J.      44 46 49 53 61
van der Torre, L.      227 236
van Eck, J.      257
van Eijck, J.      537 540 556 558 562 564 565 567 575 582 583 585 591
van Fraassen, B.C.      236
Vardi, M.      69 594
Variable free indexing      583
Variety      48 55
Veltman, F.      573 590 593
Venema, Y.      60 61 523
Vermeulen, C.      566 581—583 593
Victims Paradox      231
Violability Puzzle      229
Visser, A.      558 560 565—567 572 575 582 594
von Wright, G.      501
von Wright, G.H.      5 9 197 199 211 227—229 233 239 241 243 245 492
Vries, F.-J. de      556 591
Wajsberg, M.      23
Walker, A.G.      477—479
Walukiewicz, I.      72 536
Weakest liberal precondition      514
Well-connected      12 40
Well-founded relation      51
Wells, C.      357
Wesley, J.      414
WHILE language      504
Whitehead, A.N.      402
Whitrow, G.J.      486
Winskel, G.      69
Wittgenstein, L.      22 432
Wolper, P.      69
World-line      152
XPath      518
Xu, M.      494 501
Zarnic, B.      592
Zeevat, H.      582 590
Zeman, J.      404
“Until” connective      68
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте