Logics of Time and Computation

Volume 7

By: Robert Goldblatt

Write A Review

Paperback | 1 September 1992 | Edition Number 1

At a Glance

Paperback
180 Pages

Edition Type
Revised

Dimensions(cm)
23.0 x 15.0 x 1.5

Paperback

RRP $49.95

$38.75

22%OFF

or 4 interest-free payments of $9.69 with

Aims to ship in 7 to 10 business days

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Industry Reviews

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic

Shipping

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

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.

You Can Find This Book In

Non-Fiction Philosophy Philosophy & Logic Language & Linguistics Linguistics Reference, Dictionaries & Guides Mathematics Mathematical Foundation Mathematical Logic

Preface to the first edition
Preface to the second edition
Propositional Modal Logic
Syntax and semantics
Proof theory
Canonical models and completeness
Filtrations and decidability
Multimodal languages
Temporal logic
Some topics in metatheory
Some Temporal and Computational Logic
Logics with linear frames
Temporal logic of concurrency
Propositional dynamic logic
First-Order Dynamic Logic
Assignments, substitutions, and quantifiers
Syntax and semantics
Proof theory
Canonical model and completeness
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Logics of Time and Computation

Volume 7

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Philosophy

Against Ambition

The Radical Potential of Giving Up

Start With Why

How Great Leaders Inspire Everyone to Take Action

How Emotionally Mature Are You?

A guide to psychological adulthood

Moral Ambition

Stop Wasting Your Talent and Start Making a Difference

The Philosophy of Virginia Woolf

Moments of Becoming

The Philosophy of Virginia Woolf

Moments of Becoming

Wabi Sabi

Japanese Wisdom for a Perfectly Imperfect Life

Man's Search For Meaning

Humankind

A Hopeful History

Phosphorescence

The inspiring bestseller and multi award-winning book from the author of Bright Shining

The Art of War & Other Classics of Eastern Philosophy

Leather-bound Classics

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

The Daily Stoic

366 Meditations on Wisdom, Perseverance, and the Art of Living: Featuring New Translations of Seneca, Epictetus, and Marcus Aurelius

The Silent Patient

The record-breaking, multimillion copy Sunday Times bestselling thriller and TikTok sensation

The Creative Act

A Way of Being

The War on the West

How to Prevail in the Age of Unreason

Discipline Is Destiny

The Power of Self-Control

Who's Afraid of Gender?

Ikigai

The Japanese Secret to a Long and Happy Life

The Things You Can See Only When You Slow Down

How to be Calm in a Busy World

12 Rules for Life

Antidote to Chaos

Four Thousand Weeks

Embrace your limits. Change your life. Make your four thousand weeks count.

The Choice

A true story of hope

The Boy, The Mole, The Fox and The Horse

This product is categorised by