Dependence Logic

A New Approach to Independence Friendly Logic

By: Jouko Vaananen

Write A Review

Paperback | 10 May 2007

At a Glance

Paperback
236 Pages

Dimensions(cm)
22.7 x 15.2 x 1.3

Paperback

$98.50

or 4 interest-free payments of $24.63 with

or

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic.

Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book.

It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.

Industry Reviews

"The material is written in a very friendly way. Definitions of the majority of the important notions are preceded by explanations of the ideas. Moreover, the book contains more than 200 exercises, many of which have a solution at the end of the book. This makes it easier to read the book and understand its material. The book could definitely be interesting to a wide spectrum of mathematicians, philosophers and computer scientists." - Michael Krynicki, Mathematical Reviews

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.

More in Combinatorics & Graph Theory

Cataland

Why the Fuss?

Paperback

RRP $219.00

$197.25

10%
OFF

Hamiltonicity of Random Subgraphs of the Hypercube

Not Supplied By Publisher

RRP $219.00

$197.25

10%
OFF

The Nature of Complex Networks - Sergey N. Dorogovtsev

$58.40

22%
OFF

Surveys in Combinatorics 2024 : London Mathematical Society Lecture Note Series - Felix Fischer

$COMBINATORIAL PROB IN MATH'L(V4) : Mathematical Olympiad - YAO ZHANG$

$SEL PROB VIETNAMESE MATH'L..(V5) : Mathematical Olympiad - LE HAI CHAU & LE HAI KHOI$

SEL PROB VIETNAMESE MATH'L..(V5)

Mathematical Olympiad

Paperback

$87.25

$2ND STEP MATH OLYMPIAD PROB(V7) : Mathematical Olympiad - DEREK HOLTON$

2ND STEP MATH OLYMPIAD PROB(V7)

Mathematical Olympiad

Paperback

RRP $85.02

$47.35

44%
OFF

Open Problems in Algebraic Combinatorics - Christine Berkesch

$322.25

Introduction to Enumerative and Analytic Combinatorics

Discrete Mathematics and Its Applications

Hardcover

RRP $194.00

$180.25

Completely Regular Codes in Distance Regular Graphs

Chapman & Hall/CRC Monographs and Research Notes in Mathematics

Hardcover

RRP $347.00

$288.50

17%
OFF

A Mathematical Tour

Paperback

$126.73

A Mathematical Tour

Hardcover

RRP $231.00

$192.25

17%
OFF

Discrete Mathematics

An Open Introduction

Paperback

RRP $105.00

$99.25

A First Look At Graph Theory

Paperback

RRP $88.99

$84.75

Preface	p. ix
Introduction	p. 1
Preliminaries	p. 5
Relations	p. 5
Vocabularies and structures	p. 5
Terms and formulas	p. 6
Truth and satisfaction	p. 7
Dependence logic	p. 10
Examples and a mathematical model for teams	p. 11
Formulas as types of teams	p. 16
Logical equivalence and duality	p. 29
First order formulas	p. 37
The flattening technique	p. 42
Dependence/independence friendly logic	p. 44
Examples	p. 48
Even cardinality	p. 48
Cardinality	p. 51
Completeness	p. 53
Well-foundedness	p. 55
Connectedness	p. 56
Natural numbers	p. 57
Real numbers	p. 59
Set theory	p. 60
Game theoretic semantics	p. 63
Semantic game of first order logic	p. 63
Perfect information game for dependence logic	p. 69
Imperfect information game for dependence logic	p. 80
Model theory	p. 86
From D to [sum]1/1	p. 86
Applications of [sum]1/1	p. 90
From [sum]1/1 to D	p. 94
Truth definitions	p. 100
Model existence game	p. 110
Ehrenfeucht-Fraisse game for dependence logic	p. 121
Complexity	p. 134
Decision and other problems	p. 134
Some set theory	p. 135
[sum subscript 2]-completeness in set theory	p. 140
Team logic	p. 144
Preorder of determination	p. 144
Dependence and independence	p. 148
Formulas of team logic	p. 150
From team logic to L[superscript 2]	p. 158
From L[superscript 2] to team logic	p. 161
Ehrenfeucht-Fraisse game for team logic	p. 163
Solutions to selected exercises	p. 169
References	p. 220
Index	p. 223
Table of Contents provided by Ingram. All Rights Reserved.

Dependence Logic

A New Approach to Independence Friendly Logic

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Combinatorics & Graph Theory

Cataland

Why the Fuss?

Hamiltonicity of Random Subgraphs of the Hypercube

The Nature of Complex Networks

A Beginnerâs Guide to Mathematical Proof

A Beginnerâs Guide to Mathematical Proof

Flows in Networks

Princeton Landmarks in Mathematics and Physics

Surveys in Combinatorics 2024

London Mathematical Society Lecture Note Series

Non-Newtonian Sequence Spaces with Applications

Chapman & Hall/CRC Monographs and Research Notes in Mathematics

Modern Computational Methods for Fractional Differential Equations

Set Theory

An Introduction to Axiomatic Reasoning

COMBINATORIAL PROB IN MATH'L(V4)

Mathematical Olympiad

GEOMETRY, PERSPECT DRAWING, & MECHANISMS

GRAPH THEORY

IN MATHEMATICAL OLYMPIAD AND COMPETITIONS

SEL PROB VIETNAMESE MATH'L..(V5)

Mathematical Olympiad

2ND STEP MATH OLYMPIAD PROB(V7)

Mathematical Olympiad

Open Problems in Algebraic Combinatorics

BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC, A

Discrete Mathematics

An Open Introduction

Introduction to Enumerative and Analytic Combinatorics

Discrete Mathematics and Its Applications

Completely Regular Codes in Distance Regular Graphs

Chapman & Hall/CRC Monographs and Research Notes in Mathematics

A Mathematical Tour

A Mathematical Tour

Discrete Mathematics

An Open Introduction

A First Look At Graph Theory

This product is categorised by