Temporal Logic : From Ancient Ideas to Artificial Intelligence

From Ancient Ideas to Artificial Intelligence

By: Peter Ã?hrstrÃ¸m, Per Hasle

Write A Review

Hardcover | 1 September 1995

At a Glance

Hardcover
428 Pages

Dimensions(cm)
23.5 x 16.51 x 2.54

Hardcover

$249.75

or 4 interest-free payments of $62.44 with

or

Ships in 5 to 7 business days

Preface. Introduction. Part 1: Time and Logic. 1.1. The Sea-Fight Tomorrow. 1.2. The Master Argument of Diodorus Cronus. 1.3. The Study of Tenses in the Middle Ages. 1.4. Temporal Ampliation. 1.5. The Duration of the Present. 1.6. The Logic of Beginning and Ending. 1.7. Time and Consequentia. 1.8. Temporalis -- the Logic of `While'. 1.9. Human Freedom and Divine Foreknowledge. 1.10. The Downfall of Medieval Tense-Logic. 1.11. Logic as a Timeless Science. Part 2: Time and Logic Reunited. 2.1. The 19th Century and Boolean Logic. 2.2. C.S. Peirce on Time and Modality. 2.3. Lukasiewicz's Contribution to Temporal Logic. 2.4. A Three-Point Structure of Tenses. 2.5. A.N. Prior's Tense-Logic. 2.6. The Idea of Branching Time. 2.7. Tense Logic and Special Relativity. 2.8. Some Basic Systems of Temporal Logic. 2.9. Four Grades of Tense-Logical Involvement. 2.10. Metric Tense Logic. Part 3: Modern Issues in Temporal Logic. 3.1. Two Paradigms of Temporal Logic. 3.2. Indeterministic Tense Logic. 3.3. Leibnizian Tense Logic. 3.4. Tense Logic and Counterfactual Reasoning. 3.5. Logic of Durations. 3.6. Graphs for Time and Modality. 3.7. Temporal Logic and Computer Science. 4: Conclusion. Appendix. Bibliography. Index. Some Important Logicians.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Paperback

RRP $27.99

$23.75

15%
OFF

Critical Thinking Skills

Effective Analysis, Argument and Reflection

Paperback

RRP $36.99

$35.75

The Logic of Scientific Discovery

Routledge Classics

Paperback

RRP $34.99

$34.75

Critical Thinking Skills For Dummies

For Dummies

Paperback

RRP $32.95

$26.99

18%
OFF

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Paperback

RRP $34.99

$28.75

18%
OFF

Quantum Gravity and Computation

1st Edition - Information, Pregeometry, and Digital Physics

Hardcover

RRP $305.00

$304.75

Interdisciplinarity and the Art of Human Connection

Knowing in a Complex World

Hardcover

RRP $150.00

$134.75

10%
OFF

Inductive Probability

Routledge Revivals

Paperback

RRP $62.99

$60.99

Probability, Objectivity and Evidence

Routledge Revivals

Hardcover

RRP $189.00

$167.75

11%
OFF

How to Think More and Better : Being Reasonable in Unreasonable Times - William B. Irvine

$119.00

30%
OFF

An Introduction to Collective Intentionality

In Action, Thought, and Society

Paperback

RRP $83.99

$77.75

The Philosophical Foundations of Bayesianism : An Opinionated Introduction - Kenny Easwaran

$263.75

14%
OFF

How to Apologise for Killing a Cat

Rhetoric and the Art of Persuasion

Hardcover

RRP $44.00

$17.00

61%
OFF

Contemporary Debates in African and Western Philosophy

Analytic and Intercultural Approaches

Hardcover

RRP $260.00

$226.75

13%
OFF

Recipes for Science : An Introduction to Scientific Methods and Reasoning - Angela Potochnik

$82.75

Objective Knowledge

An Evolutionary Approach

Hardcover

RRP $305.00

$263.75

14%
OFF

Objective Knowledge

An Evolutionary Approach

Paperback

RRP $54.99

$54.75

The Routledge Handbook of Argumentation Theory

Routledge Handbooks in Philosophy

Hardcover

RRP $483.00

$411.75

15%
OFF

Preface
Introduction	p. 1
Time and Logic	p. 6
The Sea-fight Tomorrow	p. 10
The Master Argument of Diodorus Cronus	p. 15
The Study of Tenses in the Middle Ages	p. 33
Temporal Ampliation	p. 39
The Duration of the Present	p. 43
The Logic of Beginning and Ending	p. 52
Time and Consequentia	p. 65
Temporalis - the The Logic of 'While'	p. 71
Human Freedom and Divine Foreknowledge	p. 87
The Downfall of Medieval Tense-logic	p. 109
Logic as a Timeless Science	p. 114
Time and Logic Reunited	p. 118
The 19th Century and Boolean Logic	p. 122
C.S. Peirce on Time and Modality	p. 128
Lukasiewicz's Contribution to Temporal Logic	p. 149
A Three-Point Structure of Tenses	p. 155
A. N. Prior's Tense-logic	p. 167
The Idea of Branching Time	p. 180
Tense Logic and Special Relativity	p. 197
Some Basic Systems of Temporal Logic	p. 203
Four Grades of Tense-Logical Involvement	p. 216
Metric Tense Logic	p. 231
Modern Issues in Temporal Logic	p. 241
Two Paradigms of Temporal Logic	p. 243
Indeterministic Tense Logic	p. 257
Leibnizian Tense Logic	p. 270
Tense Logic and Counterfactual Reasoning	p. 282
Logic of Durations	p. 303
Graphs for Time and Modality	p. 320
Temporal Logic and Computer Science	p. 344
Conclusion	p. 366
Appendix	p. 373
Bibliography	p. 386
Index	p. 405
Some Important Logicians	p. 413
Table of Contents provided by Blackwell. All Rights Reserved.

Temporal Logic : From Ancient Ideas to Artificial Intelligence

From Ancient Ideas to Artificial Intelligence

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Critical Thinking Skills

Effective Analysis, Argument and Reflection

The Logic of Scientific Discovery

Routledge Classics

Critical Thinking Skills For Dummies

For Dummies

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Quantum Gravity and Computation

1st Edition - Information, Pregeometry, and Digital Physics

Interdisciplinarity and the Art of Human Connection

Knowing in a Complex World

Inductive Probability

Routledge Revivals

Probability, Objectivity and Evidence

Routledge Revivals

How to Think More and Better

Being Reasonable in Unreasonable Times

Aristotle's Organon in Old and New Logic

1800-1950

An Introduction to Collective Intentionality

In Action, Thought, and Society

The Philosophical Foundations of Bayesianism

An Opinionated Introduction

An Introduction to Collective Intentionality

In Action, Thought, and Society

How to Apologise for Killing a Cat

Rhetoric and the Art of Persuasion

Contemporary Debates in African and Western Philosophy

Analytic and Intercultural Approaches

Recipes for Science

An Introduction to Scientific Methods and Reasoning

Analogy and Exemplary Reasoning in Legal Discourse

Objective Knowledge

An Evolutionary Approach

Objective Knowledge

An Evolutionary Approach

The Routledge Handbook of Argumentation Theory

Routledge Handbooks in Philosophy

Essays in Analysis

Routledge Revivals

Nature of Information

Shaping Reality, Life, and Consciousness

Logic and Criticism

Routledge Revivals

This product is categorised by