TEMPORAL-EPISTEMIC LOGIC

• Authors: Surowik Dariusz
• Languages of publication: EN

Abstracts

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.

Keywords

EN

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

Discipline

• PHILOSOPHY: PHILOSOPHY

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2010
• Issue: 22(35)
• Pages: 23-28
• Document type: ARTICLE

Contributors

author

Surowik Dariusz

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

Identifiers

CEJSH db identifier

11PLAAAA101622