Description

• Tytuł:
  Dynamic Epistemic Logic and Logical Omniscience
• Twórca:
  Rasmussen, Mattias Skipper
• Opis:
  Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non-omniscience.
• Dostępność obiektu:
  free access
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2015.08.18
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  English
• Źródło:
  Logic and Logical Philosophy; Vol. 24 No. 3 (2015): September; 377–399;
  Logic and Logical Philosophy; Tom 24 Nr 3 (2015): September; 377–399;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2015.014/6683
• Temat i słowa kluczowe:
  epistemic logic;
  dynamic epistemic logic;
  logical omniscience;
  resource-bounded reasoning
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2015.014
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text