Главная    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
Предметный указатель
$K_b$ system      433 458 461 462 468
$K_l$ system      461 462
$K_t$ tense logic      428 430 439 460 461
$K_{ld\infty}$ system      462
$R^i$      223
$\mathfrak{R}$ propositional constant      409—410
$\mu$-calculus      70
1-inconsistency      156
2-inconsistency      156
A-notions of time      454—457
A-series of time      436—442 454—460 484 485 487 489
A-theory of time      454 456 482 489
Acceptability relation      211
Accessibility relation      25
Accessible to i      222
Action structure      131
Actual world      18 19
Aczel, P.      29 81 83
Adjunction rule      7
Agency      245 248
Agency and temporal logic      489—494
Agency framework      247
Agential obligation      251 256
Al-Hibri, A.      228
Alchourron, C.E.      227 243
Alethic modal logic      199 200 204
Algebraic semantics      1
Algebras, Boolean with operators      15
Algebras, Brouwerian      13 76
Algebras, canonical embedding      56
Algebras, categories of      56
Algebras, closure      12
Algebras, complex      16
Algebras, cylindric      14
Algebras, dynamic      64
Algebras, for a functor      81
Algebras, free modal      81
Algebras, Heyting      13
Algebras, Kleene      64
Algebras, Lindenbaum      11 38 81
Algebras, modal      1 9 81
Algebras, monadic      14
Algebras, morphism of      81
Algebras, polyadic      14
Algebras, process      67
Algebras, projective      14
Algebras, pseudo-Boolean      13
Algebras, relation      18
Algebras, representable relation      18
Algebras, simple      14
Allen, J.      479—482
Aloni, M.      593
Alternativeness relation      34
Amalgamation      58
Analysis functions      158
Analytic necessity      29
Analytic truth      22
Anderson, A.R.      216 221 222 409—410
Andersonian — Kangerian modal logics      217
Andersonian — Kangerian reduction      216 220 252
Anscombe, E.      403
Anselm of Canterbury      464
Antichrist      463 464
Antinomy      226
Apt, K.      516 563 564
Aquinas, St. Thomas      411 416 418 463
Aqvist, L.      217 230 231 257
Areces, C.      527
Aristotle      401 403 405 408 415 418 426 427 432 464
Arity of formulas      153
Arity of predicates      153
Arminius, J.      414
Asher, N.      592
ASSIGNMENT      500 548
Augmentation      139
Augustine      412 413
Aureole, P.      463
Auxiliary tableau      160
awareness      119
Awareness, general      119
Axiom of convergence      115
B-notions of time      456 457
B-series oftime      436—442 455 460
B-theory of time      456
bad      197
Bailhache, P.      257
Baltag, A.      537 540 591
Barcan Formula      146
Barcan, R.C.      see “Marcus R.B.”
Barr, M.      83 357
Barth, K.      400 412 413
Bartha, P.      252
Barwise, J.      36 573 576
Basic agency operator, BA      253
Bayart, A.      22 23 29 38
Beaver, D.      590
Becker, O.      7
Belief set      137
Belief state      137
Beliefs, explicit      120
Beliefs, implicit      120
Bell, J.      80
Belnap, N.      250—252 469 470 473 488—490 492—495 501
Ben-Ari, M.      68
Benthem, J. van      499 501 533 535 537 540 543 545 554 572 575 594
Benton, N.      80
Berk, L.      47
Bernays, P.      73
Best      197
Beth Definability Theorem      58
Beth, E.      19 35
Better than      197
Bezem, M.      563 564
Bierman, G.      80
Birkhoff's Variety Theorem      55
Birkhoff, G.      9 14 17
Bisimilar      532
Bisimilarity      66 83
Bisimulation      44 66 83
Blackburn, P.      518 523 527
Blok, W.      45—47
Boole, G.      4 403 447 504
Boolos, G.      51 75
Bounded functor      83
Bounded morphism      58
Bounded union      60
Branching time      68 163 403 424 432—435
Bridge axioms      114
Broad, C.D.      197
Brouwerian Axiom      7 9 20
Brunner, E.      400 412
Bull, R.      39—41
Bulygin, E.      227 243
Buridan, J.      411
Butler, A.      582
Caesar, J.      422 457
Calvin, J.      412
Calvinism      412 420 424
Canonical extension      57
Canonical frame      45 59
Canonical logic      58
Canonical model      38 84
Canonical structure      16 56
Cantor's theorem      83
Carmo, J.      252 256
Carnap, R.      22 29 32 484
Carnielli, W.      235
Cate, B. ten      567 594
Categorical modal formula      54
Cepparello, G.      572
Chang, C.      534
Change      257
Characteristicness      45
Chellas, B.      205 210 235 257
Chierchia, G.      575 585
Chisholm's Paradox      239 241
Chisholm, R.M.      239—241 244 245 251
Choice      511
Chronicle      435 465—468 472 473 489
Cicero      464
Claim      197
Clarke, E.      68 72 517
Class operations      56
Classical modal logics      205
Classical modal propositional logic      216
Classical propositional calculus (PC)      205
Classical Systems of modal logic      208
Closure algebra      40
Cluster semantics      116
Coalgebra      81—85
Coalgebra, final      83—85
Coalgebra, terminal      83
Coalgebra, universal      83
Coalgebraic morphism      82
Cocchiarella, N.      41
Cohen, P.      36
Collatz, L.      508
Compact      175
Compactness      167
Compactness Theorem, failure of      54
Compartment      167
Complete logic      45
Completeness      213
Computation tree logic      68 517
Computational DPL      563
Computations, type of      80
Conceivability      19
Concurrent programs      67
Conditional action      506
Conflicting obligations      233
Confluence      163
Connected model      20 44
CONp      223
Contingent      200
Continuous time      40
Contraction      135
Contradictories      201
Contraries      201
Contrary-to-Duty Paradox      239
Converse substitution      565
Cook, S.      49 515
Copeland, B.      18
Copermissible      32
Correspondence theory      53 117
Counterpart, relation      153
Counterpart, theory      153
Craig Interpolation Theorem      58
Craig, W.L.      455 463 468 486 487
Cresswell, M.      21 24 36 38 39 49
Curry, H.      35 80
Da Costa, N.C.A.      235
Dam, M.      71
Davey, B.      529
Davis, M.      14
de Bakker, J.      72
de dicto      146
de Jongh, D.      43 44 75
De Morgan, A.      18
de Paiva, V.      80
de re      146
de Rijke, M.      60
Deadlock      67
Decidable modal logics      49
Dedekind continuity      40 41
Default rules      121
Defeasible obligations      237
Degree of incompleteness      47
Dekker, P.      582 583 593
DEM      223 224
Denotational semantics      37
Density of time      40
Deontic Detatchment      207
Deontic hexagon      203
Deontic logic      39 197 198 204—206 217 399 407—410
Deontic modality      31
Deontic operator      199 207 212
Deontic Square (DS)      203
Deontic Square of Opposition      206
Descriptive frame      56
Destructive assignment      582
Determinism      220 399 407 412420 426 428 436
Deterministic program      64
Diagonalisation Lemma      73
Dilemma      226
Diodorean logic      403 415
Diodorean modality      39 41 68
Diodorus Cronus      26 403 415 416 426—428
Discourse representation theory      575 579
Discrete time      40 68
Disjoint union      45 55
Disjunction, extensional      6
Disjunction, intensional      6
Disjunction, property      14
Donkey anaphora      575
Dosen, K.      42
Double negation topology/modality      9
DPL      554 575 576
DRT      575 579
DS      206
Duality of frames and algebras      56
Dugundji, J.      10
Dummett's Diodorean axiom      39 60
Dummett, M.      17 39
Duns Scotus, J.      419
Durations, logic of      477—482
Duty      406—410
Dynamic epistemic logic      502 537
Dynamic logic      62 209
Dynamic predicate logic      554 575 576
Dynamic relation algebra      571
Earlier-later calculus      437 438 440 443
Earlier-later relation      431 437 438 441
Egocentric logic      442
Einsten, A.      484
Elementary class      51
Elementary modal logic      51
Elgesem, D.      251
Emerson, A.      68 72
Emerson, E.      517 530
Emptiness problem      49 69
Empty normative systems      228
Epistemic logic      9 501 537
Erdos, P.      62
Esakia, L.      56
Ethical theory      245
Ethics, logic of      405—410
Euclid      506 553
Evaluation time      141
Everett, C.      14
Evidential situations      75
Existence of God      411
Existence, logic of      420—425
expansion      135
Expressively complete connectives      68
F-operator      421 427—429 441
F0llesdal, D.      35
Fable of the Four Preachers      423—425
factorial program      507 514
Fair scheduling      67
Fairtlough, M.      80
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте