Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Years help

  1. 1 2015

Authors help

  1. 1 Rasmussen M. S.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  logical omniscience
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Dynamic Epistemic Logic and Logical Omniscience

100%
Rasmussen M. S.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 3
377–399
EN
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.