Description

• Title:
  A modal logic of information
• Creator:
  Misiuna, Krystyna
• Description:
  We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and we outline a modal system of the operator being informed that which avoids inconsistency with our intuitive concept of information. The system has modal structure of the normal modal logic K4, and is sound and complete on the class of all transitive frames. We compare this logic with Floridi’s KTB information logic, and we consider a possibility of extending our system to a dynamic logic.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2012.03.15
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 21 No. 1 (2012): March; 33–51;
  Logic and Logical Philosophy; Tom 21 Nr 1 (2012): March; 33–51;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2012.003/741
• Subject:
  information;
  epistemic logic;
  doxastic logic;
  Kripke model;
  completeness;
  dynamic logic
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2012.003
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text