Hybrid Logic and Its Proof-Theory Torben Brauner

ISBN: 9789400734357

Published: January 2nd 2013

Paperback

231 pages


Description

Hybrid Logic and Its Proof-Theory  by  Torben Brauner

Hybrid Logic and Its Proof-Theory by Torben Brauner
January 2nd 2013 | Paperback | PDF, EPUB, FB2, DjVu, talking book, mp3, ZIP | 231 pages | ISBN: 9789400734357 | 4.35 Mb

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 detailedMoreHybrid 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Hybrid Logic and Its Proof-Theory":


whitefishmedia.pl

©2014-2015 | DMCA | Contact us