Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

TEMPORAL-EPISTEMIC LOGIC

Szczegóły
Opis

Tytuł:: TEMPORAL-EPISTEMIC LOGIC
Autorzy:: Surowik Dariusz
Tematy:: EPISTEMIC LOGIC
KNOWLEDGE
MODAL LOGIC
TEMPORAL LOGIC
TIME
PHILOSOPHY
Język:: angielski
Dostawca treści:: CEJSH
: Artykuł

Przejdź do źródła

The paper aims at providing temporal epistemic logic TEL with sound and complete axiomatization. This logic combines temporal and epistemic operators. Time is represented as isomorphic to the set of natural numbers, whereas knowledge is modeled as an S5-like modality.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

TEMPORAL-EPISTEMIC LOGIC