Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: actual knowledge

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

The Dynamic Epistemic Logic for Actual Knowledge

100%

Wójcik A.

Bulletin of the Section of Logic

2020

tom 49

nr 1

The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Wójcik A.

1 2020

Wyniki wyszukiwania

The Dynamic Epistemic Logic for Actual Knowledge