Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Hybrid Logic and its Proof-Theory (Paperback, 2011 ed.)
Loot Price: R2,957
Discovery Miles 29 570
|
|
Hybrid Logic and its Proof-Theory (Paperback, 2011 ed.)
Series: Applied Logic Series, 37
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R2,977
Discovery Miles: 29 770
|
This is the first book-length treatment of hybrid logic and its
proof-theory. Hybrid logic is an extension of ordinary modal logic
which allows explicit reference to individual points in a model
(where the points represent times, possible worlds, states in a
computer, or something else). This is useful for many applications,
for example when reasoning about time one often wants to formulate
a series of statements about what happens at specific times. There
is little consensus about proof-theory for ordinary modal logic.
Many modal-logical proof systems lack important properties and the
relationships between proof systems for different modal logics are
often unclear. In the present book we demonstrate that
hybrid-logical proof-theory remedies these deficiencies by giving a
spectrum of well-behaved proof systems (natural deduction, Gentzen,
tableau, and axiom systems) for a spectrum of different hybrid
logics (propositional, first-order, intensional first-order, and
intuitionistic).
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.