Deductive Systems and the Decidability Problem for Hybrid Logics
Deductive Systems and the Decidability Problem for Hybrid Logics This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive…
Specifikacia Deductive Systems and the Decidability Problem for Hybrid Logics
Deductive Systems and the Decidability Problem for Hybrid Logics
This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. This division reflects the division of the book itself. 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.
Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. The first type of results concern model-theoretic and complexity properties of hybrid logics. Non-standard hybrid logics are understood as modal logics with global counting operators (M(En))
Hybrid Dynamical Systems