TEMPORAL-EPISTEMIC LOGIC

• Autorzy: Surowik Dariusz
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

EPISTEMIC LOGIC; KNOWLEDGE; MODAL LOGIC; TEMPORAL LOGIC; TIME

• Wydawca: Sciendo
• Czasopismo: Studies in Logic, Grammar and Rhetoric
• Rocznik: 2010
• Numer: 22(35)
• Strony: 23-28
• Rodzaj publikacji: ARTICLE

Twórcy

autor

Surowik Dariusz

• Dariusz Surowik, University of Bialystok, College of Computer Science and Business Administration in Lomza, Poland

Identyfikatory

CEJSH db identifier

11PLAAAA101622