PL EN


2010 | 22(35) | 23-28
Article title

TEMPORAL-EPISTEMIC LOGIC

Authors
Selected contents from this journal
Title variants
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.
Year
Issue
Pages
23-28
Physical description
Document type
ARTICLE
Contributors
  • Dariusz Surowik, University of Bialystok, College of Computer Science and Business Administration in Lomza, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA101622
YADDA identifier
bwmeta1.element.9cff4c50-9668-3eaa-bc1b-5cd7d2f67d75
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.