×


 x 

Shopping cart
21%OFFMichal Zawidzki - Deductive Systems and the Decidability Problem for Hybrid Logics - 9788323336952 - V9788323336952
Stock image for illustration purposes only - book cover, edition or condition may vary.

Deductive Systems and the Decidability Problem for Hybrid Logics

€ 53.49
€ 42.15
You save € 11.34!
FREE Delivery in Ireland
Description for Deductive Systems and the Decidability Problem for Hybrid Logics Paperback. Num Pages: 232 pages. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 242 x 171 x 17. Weight in Grams: 400.
This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics ... Read more

Product Details

Publisher
Uniwersytet Jagiellonski, Wydawnictwo
Format
Paperback
Publication date
2015
Condition
New
Number of Pages
232
Place of Publication
Krakow, Poland
ISBN
9788323336952
SKU
V9788323336952
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-12

About Michal Zawidzki
Michal Zawidzki received the MA degree in political science in 2008, the MA degree in philosophy in 2009 and the BSc degree in mathematics in 2012 from the University of Lódz. His PhD thesis, defended in May 2013 at the University of Lodz, was devoted to hybrid logics, their computational complexity and decision procedures for them. From December 2011 to ... Read more

Reviews for Deductive Systems and the Decidability Problem for Hybrid Logics
I consider the book Deductive Systems and the Decidability Problem for Hybrid Logic as (…) a very reliable survey on the issue of computational complexity of hybrid logics, which, additionaly, makes a significant contribution to this area of research."„Worth stressing is the fact that the author shows great expertise in the topic referring to extensive literature."„(The book) presents the syntax, ... Read more

Goodreads reviews for Deductive Systems and the Decidability Problem for Hybrid Logics


Subscribe to our newsletter

News on special offers, signed editions & more!