Description

• Title:
  Modal Hybrid Logic
• Creator:
  Indrzejczak, Andrzej
• Description:
  This is an extended version of the lectures given during the 12-th Conference on Applications of Logic in Philosophy and in the Foundations of Mathematics in Szklarska Poręba (7–11 May 2007). It contains a survey of modal hybrid logic, one of the branches of contemporary modal logic. In the first part a variety of hybrid languages and logics is presented with a discussion of expressivity matters. The second part is devoted to thorough exposition of proof methods for hybrid logics. The main point is to show that application of hybrid logics may remarkably improve the situation in modal proof theory.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2007.08.25
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 16 No. 2-3 (2007); 147-257;
  Logic and Logical Philosophy; Tom 16 Nr 2-3 (2007); 147-257;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2007.006/1472
• Subject:
  modal logics;
  tense logics;
  hybrid logics;
  correspondence theory;
  proof methods
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2007.006
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text