Deductive Systems and the Decidability Problem for Hybrid Logics

By Michal Zawidzki

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 8323336954
• ISBN13: 9788323336952
• Release Date: October 2014
• Publisher: Jagiellonian University Press
• Length: 232 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.6" x 9.4"
• Grade Range: Postsecondary and higher