Exploring logical dynamics

>> Google Books

所蔵情報QRコード

Exploring logical dynamics / Johan van Benthem

資料種別:: 図書
出版情報:: Stanford, Calif. : CSLI Publications, c1996
形態:: xi, 329 p. ; 24 cm
シリーズ名:: Studies in logic, language and information <BA27233750>
著者名:: Benthem, J. F. A. K. van, 1949- <DA00887300>
ISBN:: 9781575860596 [1575860597] (: hc)
9781575860589 [1575860589] (: pbk)
書誌ID:: BA29235043

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references (p. 301-325) and index

主題:

Logic

言語:

英語

目次情報:

Introduction

Cognitive actions / 1：

Dynamification / 2：

Technical tools / 3：

Process simulation and definability / 4：

Relational algebra of process operations / 5：

Two-level static-dynamic architecture / 6：

Dynamic styles of inference / 7：

Decidable remodelling: arrow logic / 8：

Modal foundations for predicate logic / 9：

Computational process theories / 10：

Imperative aspects of logic programs / 11：

Understanding natural language / 12：

Philosophical repercussions / 13：

Bibliography

Introduction

Cognitive actions / 1：

Dynamification / 2：

Technical tools / 3：

Process simulation and definability / 4：

Relational algebra of process operations / 5：

続きを見る

ブックレビュー

類似資料:

1 図書 Language in action : categories, lambdas and dynamic logic Benthem, J. F. A. K. van, 1949- North-Holland, Distributors for the United States and Canada, Elsevier Science	7 図書 Deductive logic : an introduction to evaluation techniques and logical theory Clarke, D. S. (David S.), 1936- Southern Illinois University Press
2 図書 Handbook of logic and language (: Elsevier ; : MIT Press) Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter Elsevier, MIT Press	8 図書 Geometry and induction : containing Geometry in the sensible world and The logical problem of induction Nicod, Jean, 1893-1924 University of California Press
3 図書 Handbook of logic and language (: pbk) Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter Elsevier	9 図書 The dynamics of belief : a normative logic Forrest, Peter, 1948- Blackwell
4 図書 Logical investigations (v. 1 ; v. 2) Husserl, Edmund, 1859-1938 Routledge & Kegan Paul, Humanities Press	10 図書 Logics of time and computation (pbk.) Goldblatt, Robert, 1949- Center for the Study of Language and Information
5 図書 The elements of logical analysis and inference Hocutt, Max Winthrop Publishers	11 図書 A contemporary introduction to logic with applications Carter, K. Codell (Kay Codell), 1939- Glencoe Press
6 図書 Nonmonotonic reasoning : logical foundations of commonsense Brewka, Gerhard Cambridge University Press	12 図書 The principles of logic (v. 1 ; v. 2) Bradley, F. H. (Francis Herbert), 1846-1924 Oxford University Press