Hybrid Logic and its Proof-Theory (Applied Logic Series)

New
Hardcover
2010
$174.43

Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

Synopsis

Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

$174.43

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 244
Edition: 1st Edition.
Publisher: Springer
Published: 30 Nov 2010
ISBN 10: 9400700016
ISBN 13: 9789400700017

Hybrid Logic and its Proof-Theory (Applied Logic Series)

New

$174.43

Synopsis

$174.43

More Information