Главная    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
Предметный указатель
Milner, R.      65—67 585
Minimal models      235
Minimisation operator      70
Minkowskian spacetime      41
Modal $\mu$ calculus      528
Modal algebra      56
Modal conjunctive normal form      23
Modal logic      199 217 399 409 414 415 417 421 431 440 443 532 536
Modal logics, $CTL^*$      68 71
Modal logics, $ECTL^*$      69 71
Modal logics, $G^*$      74
Modal logics, B      9 20 34
Modal logics, CTL      68 71
Modal logics, D      39
Modal logics, DUX      68
Modal logics, E      42
Modal logics, E-systems      9 20 21
Modal logics, ETL      69
Modal logics, G      73—75
Modal logics, GL=G      73
Modal logics, K      9 50 81
Modal logics, K+M      52
Modal logics, K1      52
Modal logics, K4W=KW      43 47 51 73
Modal logics, KMT      61
Modal logics, KMT, PDL      63
Modal logics, M      9
Modal logics, PDL      69 71
Modal logics, PLTL      68
Modal logics, S1      7 9 21
Modal logics, S2      6 7 9—11 19 21
Modal logics, S3      6 7 9 21
Modal logics, S4      7—9 11—13 17 20 28 34 36 39 45 48 50 72 73 75
Modal logics, S4.1      52
Modal logics, S4.2      41
Modal logics, S4.3      39 41
Modal logics, S4Grz      43 46 75 76
Modal logics, S5      7 9 14 17 19 20 23 28 29 34 35 39 50
Modal logics, T      5 9 20 28 34 50
Modal program      535
Modal quantale frame      165
Modality      2
Modality, dual      3
Model      19 20
Model checking      517
Model refinement      127
Model set      31 143
Model structure      20 21 37 42
Model system      34 143
modus ponens      460
Moggi, E.      80
Monadic second-order logic      48 51 55
Monodic      174
Monotonic      70
Monotonic closure      171
Monotony      167
Montague Grammar      585
Montague, R.      30—31 35—37 41 42 404 475 585
Moore, G.E.      405—407
Moore, R.      62
Mori, M.      83
Morning Star Paradox      30
Moses, Y.      50 594
Moss, L.      84 537 591
Muller, T.      484—486 489
Multi-agent epistemic logic      537
Multi-modal logic      520 531
Muskens, R.      575 582 585
Must      197
Must versus Ought Dilemma      244
Muzavitski, A.      75
n-directedness      123
Natural semantics      509
Natural semantics of WHILE      505
NC      206 233
NEC      218 227
Necessary      200 201
Necessary consequence      4
Necessary truth      1 18 20 22
Necessitation rule      9 11
Necessity      222
Necessity, analytic      29
Necessity, geometric      29
Necessity, logical      29
Necessity, physical      31
Necessity, scientific      9
Necessity, set-theoretical      29
NECp      223
Neighbourhood semantics      42 48 79 80
Neighbourhood structures      171
Nested operators      143
Newton — Smith, W.H.      485
Nielson, F.      512
Nielson, H.      512
Nishimura, H.      64 471
Non-deterministic automaton      82
Non-deterministic WHILE      511
Non-elementary modal logics      61
Non-necessary      200 201
Non-normal logic      9 21
Non-normal world      21 37
Non-well-founded sets      29
NONp      223
Nonstandard analysis      36
Norm      227
Normal matrix      10
Normal modal logic      8 207
Normal operator      15
Normal world      21
Normative Gaps Puzzle      243
Normative positions      252 253
Normative proposition      227
Norming      227
Nowell Smith, P.H.      231
NP      49
Nucleus      77
O Nuallain, B.      564 565
OB      221
Object of truth values      77
Obligation      32 257
Obligation Fulfillment Dilemma      255
Obligatory      202 203 212 217 224
Observable value      84
Observationally equivalent      65 66 83
Ockham model      433 434 467 472
Ockham, William of      411 433 435 436 463 464 468 469
Ockhamist system      465 467—469 473
od      233
Omega saturation      534
Ono, H.      75
Operations, closure      12
Operator      15
OPTIONAL      197 202 203 217 224 253
Optionality      243
Ought      197
p-morphism      44 67 572
P-operator      408 427—429 441
p-relation      44 67
Paraconsistent logic      121 235
Paradox of Derived Obligation      239
Paradox of Epistemic Obligation      231
Paradox of material implication      6
Paradox of the Gentle Murderer      242
Paradoxes      226
Parikh, R.      64 71 517 543 594
Park's Fixpoint Induction Rule      72
Park, D.      66
Partee, B.      585
Partial individuating function      152
Pascal, B.      412
Passy, S.      527
Path expression      84
Path formulas      69
Paul, St.      413
Pauly, M.      594
PDL      517
Peano arithmetic      72
Peirce model      434
Peirce, C.S.      18 403 404 418 434 436 447 448
Perfect extension      15 56
Perloff, M.      494 501
Permissible      197 202 212 217 224 253
Permission      32
Perry, J.      573
Physical necessity      31
Pinkal, M.      585
Plato      237
Plato's dilemma      237
Plaza, J.      540 591
Plotkin, G.      508
Pnueli, A.      64 67 68 517
Poidevin, R. Le      457 476
Point of event      451 452
Point of reference      450—453
Point of speech      451—453 476
Polish logic      402
Polish notation      402
Polymodal languages      58
Polymorphic type theory      585
Polynomial functor      84
Popper, K.      401
Porn, I.      228 245 252
Positive modal formula      52
POSp      223
Possible      200 201
Possible execution states      63
Possible next state      83
Possible truth      1
Possible worlds      18 20 211 222
Possible worlds semantics      211
Postcondition weakening      514
Power      197
Powerdomains      69
Pratt, V.      62 64 70 517 528 548
Prawitz, D.      81
Precondition strengthening      514
preconditions      131
Predestination      401 403 411—420
Predicate transformer      514
Prejudice function      120
Presbyterianism      400 411 412 414
Preservation of bisimulation      539
Priestley, H.      529
Prigogine, I.      484
Primitive dyadic deontic conditional      241
Principia Mathematica      6
Principle, Leibniz'      424—425
Prior, A.N.      24—28 33 39 41 211 228 230 239 399—443 448—450 452—462 464—466 469 471 475 476 482—490 492 525
Prior, M.      402 414 420
Problem      226
Process      65
Process logic      64
Proposition      21 36
Propositional dynamic logic      517
Propositional Lax Logic      80
Provability modality      8 72
Provable-and-true modality      74
Pruning      249
Pseudo-epimorphism      43
PSPACE      50
Public announcement      539 591
Pure deontic fragment      219
Puzzle      226 228
Q system      407 410 421 422 443
QDL      548
Quantale frame      165
Quantificational modal logic      21 38 51
Quantified dynamic logic      548
Quasi-modal sentence      61
Quasi-ordering      16
Queen Anne      454
Queer world      37
Quine, W.V.O.      29 30 226 420 421
R      223 226
Rabin, M.      48
Raoper, P.      481 482
Rational time      41
Reachability      174
Reactive programs      67
Reactive system      517
Real Time      41
Real World      19 21 37
Reducible logic      54
Reference time      141
Regular expression      520
Regular program      63
Reichel, H.      82
Reichenbach, H.      449—453 476
Relational model      56
Relational semantics      1
Relational structures      171
Remainder operator      167
Rescher, N.      67
Restall, G.      221
Restricted monotonic closure      171
Restriction      139
revision      135
Reyle, U.      573 575 579 585
Reynolds, M.      69 468
Rigid designator      146
Rijke, M. de      523
rm      218
Robber's (Repenter's) Paradox      231
Robiger, M.      84 85
Robinson, A.      36
Ross's Paradox      230
Ross, A.      228
Routley's formula      150
Ruan, J.      546
Rule of contraction      164
Russell — Prawitz modality      81
Russell, B.      1 81 402 430 477 478
Rutten, J.      82 83
Ryan, M.      516
Ryle, G.      403
Safety for bisimulation      534 535
Sahlqvist equations      60
Sahlqvist, H.      52
Sambin, G.      43 75
Santos, F.      252
Satre      233
Satre's Dilemma      233
Savitch, W.      50
Scenarii      156
Schmidt, D.      512
Schotch, P.K.      235
Schroader, E.      18
Schurz, G.      227
Scientifically necessary      9
Scott, D.      36—39 42 68 72 204 404
Scroggs, S.      14 17
SDL      208—210 213 215—220 222 224 226 229 233 236 240 241 243 245 255
SDL+      210
Segerberg's induction axiom      64
Segerberg, K.      37 40—44 52 75 251 252 517 543
Self-acceptability      214
Self-accessible      226
Self-conjugacy      17
Self-referential paradox      74
Semantic tableaux      19 20
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте