Авторизация
Поиск по указателям
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.
Язык:
Рубрика: Математика /
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Год издания: 2006
Количество страниц: 719
Добавлена в каталог: 22.05.2008
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
system 433 458 461 462 468
system 461 462
tense logic 428 430 439 460 461
system 462
223
propositional constant 409—410
-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
Реклама