Tools and Techniques in Modal Logic: Volume 142 Image close
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
Show Hide Adult Content
Tools and Techniques in Modal Logic: Volume 142 close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Tools and Techniques in Modal Logic: Volume 142

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$466.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $116.50 with Afterpay Learn more

6 weekly interest-free payments of $77.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Studies in Logic & the Foundations of Mathematics

See all products in this series

Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$456.00
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Proof Theory: Volume 137 on Hardback
$552.00
Handbook of Proof Theory: Volume 137
Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$371.00
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Quantification in Nonclassical Logic: Volume 153 on Hardback by Dimitrij Skvortsov
$627.00
Quantification in Nonclassical Logic: Volume 153
by Dimitrij Skvortsov ~ Hardback
Available - Usually ships in 3-4 weeks
Lectures on the Curry-Howard Isomorphism: Volume 149 on Hardback by Pawel Urzyczyn
$448.00
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras: Volume 150 on Hardback by Roger Duncan Maddux
$745.00
Relation Algebras: Volume 150
by Roger Duncan Maddux ~ Hardback
Available - Usually ships in 3-4 weeks
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151 on Hardback by Nikolaos Galatos
$422.00
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Admissibility of Logical Inference Rules: Volume 136 on Hardback by V.V. Rybakov
$545.00
Admissibility of Logical Inference Rules: Volume 136
by V.V. Rybakov ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$516.00
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$661.00
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Set Theory An Introduction To Independence Proofs: Volume 102 on Hardback by K. Kunen
$287.00
Set Theory An Introduction To Independence Proofs: Volume 102
by K. Kunen ~ Hardback
Available - Usually ships in 3-4 weeks
Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
$506.00
Logical Frameworks for Truth and Abstraction: Volume 135
by A. Cantini ~ Hardback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$362.00
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Rudiments of Calculus: Volume 146 on Hardback
$291.00
Rudiments of Calculus: Volume 146
Hardback
Available - Usually ships in 3-4 weeks
Classical Recursion Theory: Volume 125 by P. Odifreddi
$287.00
Classical Recursion Theory: Volume 125
by P. Odifreddi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Realizability: Volume 152 on Hardback by Jaap Van Oosten
$488.00
Realizability: Volume 152
by Jaap Van Oosten ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.
Release date NZ
June 17th, 1999
Author
Audience
  • Professional & Vocational
Country of Publication
United States
Illustrations
1
Imprint
North-Holland
Pages
576
Publisher
Elsevier Science & Technology
Dimensions
156x234x33
ISBN-13
9780444500557
Product ID
2373952

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Algebra