Главная    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
Предметный указатель
FCS      575
Feys, R.      5 9
File change semantics      575
Filtration      39 42
Filtration of LTS      524
Findlay, J.N.      400 414—415
Fine, K.      28 40 45 46 53 58 61 455 458 459
Finite model property      9 12 40 48 71 523
Finitely branching non-determinism      83
Fischer, J.M.      468
Fisher, M.      63 517 523 528 543
Fisher-Ladner closure      523
Fitch, F.      76
Fixed point      66 70 73
Fixed point axiom      169
fixpoint      70
Floyd — Hoare calculus      514
Floyd — Hoare logic      502 512 516 522
Floyd, R.      500 512
FMP      523
Follesdal, D.      229
Forcing      36
Forrester's Paradox      242
Forrester, J.W.      242 244 245
Frame      28 42
Frames, categories of      56
Franzen, H.      40
Free choice permissionparadox      228
Free will      399 401 403 411—420
Frege, F.L.G.      402
Frobenius, G.      16
Functional bisimulation      572
Future contingency      449 462—475 490
G-operator      429
Gabbay, D.      48 64 68
Gaodel, K.      440
Gardenfors, P.      590
Gardent, C.      518
Gble, L.      243
gcd program      506 553
Geach, P.T.      25 401 403 430 436
Generated model      44
Gentzen sequent      23
Genuine singular terms      146
Geometric modality      78
Geometric necessity      29
Gerbrandy, J.      540 591
Gerson, M.      48
Ghilardi's formula      148
Global element      77
global state      122
Goble, L.      215 236
Gochet, P.      501
Godel, K.      7—9 72
Goldblatt, R.      41 45 52 56—61 75 78 79 85 217 488 548 554
good      197
Good Samaritan Paradox      230 231
Good Samaritan Puzzle      243
Gordon, M.      516
Gowans, C.      206
Graph colouring      61
gratuitous      197 202 217 224 253
Green, M.      469 470 473
Gribomont, P.      501
Gries, D.      565
Groenendijk, J.      552 556 574576 585 592 593
Groeneveld, W.      592
Grothendieck, A.      37 77
Group announcement      540
Grumberg, O.      517
Grzegorczyk, A.      43 75
Guarded iteration      506
Gumm, P.      83
Guy, R.      508
H-operator      429
Halmos, P.      14
Halpern, J.      50 68 594
Hamblin, C.      404 428—429 432 456 478 479 481
Hamilton, W.R.      447
Hansen, J.      236
Harel, D.      64 499 527 537 548 554
Harrop, R.      9
Hartmann, N.      251
Haskell programming language      503
Hayes, P.J.      479—482
Hedenius, I.      227
Heguiabehere, J.      564 565
Heim, I.      501 573 575
Hendricks, V.F.      489—492 494
Henkin, L.      23 38 73
Hennessy — Milner property      84—85
Hennessy, M.      65—67
Heredity condition      165
Herrestad, H.      202 251 252 255 256
Heyting, A.      8
Hilbert, D.      73
Hilpinen, R.      216 228 229 251
Hindley, R.      585
Hintikka, J.      207 501 573
Hintikka, K.J.J.      22 30—35
histories      see “Chronicle”
Hoare, C.A.R.      62 500 502 512
Hodkinson, I.      61
Hollenberg, M.      535 536 571 572
Horty, J.      236 251 252
Horty, J.F.      492 494
Hrushka, J.      244
Hughes and Cresswell      6 8 23 62
Hughes, G.      61
Human freedom      463—465
Humberstone, I.L.      244
Huntington, E.      10
Huth, M.      516
Hybrid contexts      143
Hybrid logic      399 441 456 458 476
Hypercubes      122
Hypertheories      138
i-acceptable      211 212 216
i-acceptable world      211 214
I-accessible world      213 223
i-best      216
i-best world      215 236
I-operator (now)      430
Identity      150
Identity-intersection property      123
Image-finite relation      66 83
Immunity      197
Impermissible      197 202 203 212 253
Impossibility operator      6
IMPOSSIBLE      200 201
IMPp      223
Incomplete logics      46—49 75
Incompleteness      16
Incremental type logic      585
Indifference      243
Indifferent      197
Indirect discourse      144
Indistinguishability      112
Infinitary epistemic logic      176
Infinitary extensions of modal propositional logic      176
Infinitary first-order logic      176
Infinitary language      84
Information flow      128
Initial object      82
Inner substructure      58
Input set      84
Instant-propositions      439—441
Instants      27
Integer time      41
Interior operator      13
Intuitionistic logic, IPC      13 43 75 76 78 79
Intuitionistic logic, Kripke semantics      8 14 75
Intuitionistic logic, modal      76
Intuitionistic logic, propositional Intuitionistic logic, calculus      8
Intuitionistic logic, second-order      81
Intuitionistic logic, topological interpretation      13 76
Invariance for bisimulation      535
Irreversibility      484
Iteration      63
ITL      585
Jacobs, B.      82 84
Janin, D.      536
Jansche, M.      585
Japaridze, G.      75
Jennings, R.E.      235
Jephthah      233
Jespersen, O.      450
Joerden, J.C.      244
Jones, A.I.J.      228 245 252
Jones, S.      503
Jonsson — Tarski Extension Theorem      15 18 56
Jonsson, B.      15 17 18 22 29 35 48 60
Jorgensen's Dilemma      226
Jorgensen, J.      226
Jurisdictional Problem      245
Jutla, C.      69 72
K      217 219
Kamp, H.      68 227 450 475 476 501 573—575 579 582 585
Kanazawa, M.      576
Kanger, S.      22 28—30 35 216 221 222 245 252
Kant's Law      219 233
Kant, I.      22 234
Kantian principle      409 410
Kaplan, D.      37 38
Karttunen, L.      501
Kawahara, Y.      83
KD      217 220 257
Keisler — Shelah Theorem      53
Keisler, H.      534
Kempson, R.      227
Kenny, A.J.P.      399 401 403 404 411
Kierkegaard, S.      400
Kleene's Recursion Theorem      74
Knaster, B.      70
Knuuttila, S.      199
Kohlhase, M.      585
Kolakowski, L.      402
Kolmogorov, A.      79
Kooi, B.      537 540 543 545
Kozen, D.      64 70—72 499 527 530 531 537 548
Kracht, M.      518
Kripke model      1 18 63 500
Kripke models      235
Kripke polynomial functor      85
Kripke, S.A.      9 14 18—22 30 34—37 40 43 44 51 60 403 404 432 433 460 482
Kripke-style possible world      211
Kripke-Style Semantics for Kd      225
Krogh, C.      202 251 252 255 256
KTd      219
Kuratowski, K.      12
Kurz, A.      84
Kuschert, S.      585
Kuznetsov, A.      75
l-calculus      26
Labelled transition system      500
Ladner, R.      50 63 517 523 528 543
Lambda calculus      37
Lambek, J.      83
Langford, C.      5
Laob, M.      73
Large step semantics      509
Larsen, K.      67
Lascarides, A.      592
Lavenham, R.      463—465 475
Lawvere, F.W.      36 77 79
Leakage Problem      255 256
Leibniz, G.W. von      18 22 424 425 464 473
Leibnizian semantics      474
Lejewski, C.      403
Lemmon Notes      37 38 52
Lemmon, E.J.      9 17 36—40 44 46 204 231 233 403 428
Lewis, C.I.      5 7 36
Lewis, C.S.      410
Lewis, D.      404
Liberty      197
Limit Assumption      215 216 224
Limit Assumption Problem      236
Lindahl, L.      245 252
Linear tense logic      41 68
Local operator      77
Local state      121
Local variable      565
Locally true      77
Logic of action      499 536
Logic of agency      251
Logic, deontic      3 32—34
Logic, doxastic      3
Logic, dynamic      3
Logic, epistemic      3
Logic, geometric      3
Logical consequence relation      54
Logical necessity      29 150
Lokhorst, G.-J.      199 204 221
Long, D.      517
Long-term memory      167
LTS      500
Lucas, J.R.      487 489
Lukasiewicz, J.      10 402 415 426
Luther, M.      412
Lyndon, R.      18
Mac Lane, S.      81 357
MacBeath, M.      457
MacColl, H.      4
Mackie, J.L.      420
Macnab, D.      77
Macro-operations      168
Magari, R.      47
Makinson, D.      38 46 48 56 227
Maksimova, L.      58
Mally, E.      197 199 204
Manes, E.      81
Manna, Z.      68
Marcus, R.B.      421 440
Mares, E.D.      222 245
Marx, M.      518 527
Massey, G.      488
Master Argument, The      416 426428
Material implication      6
Mates, B.      415 426
Mathieu, E.      582
Matrix model      10
McKenzie, R.      48
McKinsey axiom      52 60 61
McKinsey, J.      8—10 12 14 17 36
McNamara, P.      197 201 202 206 211 217 236 244 245 251 252 255 256
McTaggart's Paradox      449 454—459
McTaggart, J.M.E.      436—437 449 454—459
Meinong — Chisholm Analysis      252
Meinong — Chisholm Reduction      251 252
Meinong, A.      251
Mellor, D.H.      455 457 484
Mendler, M.      80 83
Menger, K.      8
Meredith, C.A.      25—27 403 431
Meredith, D.      403
Metalogic      3
Methodism      411 414
Meyer Viol, W.      518
Meyer, A.      49
Micro-operations      168
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2025
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте