Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Facing the future : agents and choices in our indeterminist world
- Author / Creator
- Available as
- Online
- Summary
-
In this text, the authors attempt to construct a logical analysis of human actions by focusing on actions based on choice. By looking at the 'stit' sentence, they provide formal semantics for 'stit...
In this text, the authors attempt to construct a logical analysis of human actions by focusing on actions based on choice. By looking at the 'stit' sentence, they provide formal semantics for 'stit' in terms of a time continuum.
Details
- Creator
- Nuel Belnap, Michael Perloff, Ming Xu ; with contributions by Paul Bartha, Mitchell Green, John Horty
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Oxford : Oxford University Press, 2023
- Series
- Physical Details
-
- 1 online resource (518 pages)
- ISBNs
- 9780197730386, 0197730388, 9781280481079, 1280481072, 9780195350074, 0195350073, 9781423762270, 1423762274, 0195138783
- OCLC
- ocn191924405, ocm65183236, on1406784303
- Previously issued in print: 2001.
- Includes bibliographical references (pages 475-482) and index.
- English
- Contents; I: Introduction to stit; 1 Stit: A canonical form for agentives; 2 Stit: Introductory theory, semantics, and applications; 3 Small yet important differences from earlier proposals; 4 Stit and the imperative; 5 Promising: Stits, claims, and strategies; II: Foundations of indeterminism; 6 Indeterminism and the Thin Red Line; 7 Agents and choices in branching time with instants; 8 Indexical semantics under indeterminism; III: Applications of the achievement stit; 9 Could have done otherwise; 10 Multiple and joint agency; IV: Applications of the deliberative stit
- 11 Conditional obligation, deontic paradoxes, and stit12 Marcus and the problem of nested deontic modalities; V: Strategies; 13 An austere theory of strategies; 14 Deontic kinematics and austere strategics; VI: Proofs and models; 15 Decidability of one-agent achievement-stit theory with refref; 16 On the basic one-agent achievement-stit theory; 17 Decidability of many-agent deliberative-stit theories; 18 Doing and refraining from refraining; Appendix: Lists for reference; 1 Stit theses: Thesis 1-Thesis 6; 2 Structures; 3 BT + I + AC postulates: Post. 1-Post. 10
- 4 Branching-time-with-instants definitions: Def. 1-Def. 95 Agent-choice definitions: Def. 10-Def. 14; 6 Basic semantic definitions: Def. 15-Def. 16; 7 Derivative semantic definitions: Def. 17-Def. 20; 8 Grammar; 9 Axiomatics concepts: Ax. Conc. 1, Ax. Conc. 2, and Ax. Conc. 3; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Z