Description

• Title:
  Deductive Systems and the Decidability Problem for Hybrid Logics
• Creator:
  Zawidzki, Michał
• Contributor:
  University of Łódź, Faculty of Philosophy and History Department of Logic and Methodology of Sciences, 16/18 Kopcińskiego St., 90-232 Łódź;
  michal.zawidzki@gmail.com
• Description:
  The 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 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 the book are split into two parts. This division reflects the division of the book itself. We can say that the first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, our efforts focused on hybrid logics referred to as non­standard in the book. By non­standard hybrid logics we mean modal logics with global counting operators whose expressive power matches the expressive power of binder-free standard hybrid logics.;
  The book ”Deductive systems and the decidability problem for hybrid logics” is a part of the project financed from the funds of the National Science Centre of Poland awarded by the decision number DEC-2011/01/N/HS1/01979
• Object availability:
  free access
• Rights:
  Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska;
  http://creativecommons.org/licenses/by-nc-nd/3.0/pl ;
  © Copyright by University of Łódz, Łódz 2014; © Copyright for this edition by Jagiellonian University Press
• Date:
  2017.12.08;
  2014
• Type:
  Book
• Language:
  English
• Format:
  application/pdf;
  image/jpeg
• Publisher:
  Łódź University Press;
  Jagiellonian University Press
• Subject:
  Deductive systems;
  Logic;
  Hybrid Logic;
  Modal logic
• Identifier:
  Zawidzki M., Deductive Systems and the Decidability Problem for Hybrid Logics, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2014, doi: 10.18778/7969-042-8;
  978-83-7969-042-8;
  978-83-233-3695-2;
  978-83-7969-043-5;
  http://hdl.handle.net/11089/23511 ;
  978-83-7969-054-1;
  978-83-233-9018-3;
  10.18778/7969-042-8
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image