II - Deductive Systems for Hybrid Logics
Published online by Cambridge University Press: 05 January 2015
Summary
This part is devoted to concrete deductive systems for hybrid logics. The originally established tableau algorithms involving the unrestricted blocking mechanism are presented and serve as a starting point for a comparative study of existing decision procedures for hybrid logics.
- Type
- Chapter
- Information
- Publisher: Jagiellonian University PressPrint publication year: 2014