Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 2 Studies in Logic, Grammar and Rhetoric

Years help

  1. 1 2010

  2. 1 2009

Authors help

  1. 2 Surowik D.

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

TEMPORAL-EPISTEMIC LOGIC

100%
Surowik D.
Studies in Logic, Grammar and Rhetoric
|
2010
|
issue 22(35)
23-28
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.
2

TEMPORAL ASPECT IN INFORMATION SYSTEMS

100%
Surowik D.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 17(30)
7-12
EN
In the information society, there exists an irresistible need, one may even say a necessity, to acquire and comprehend knowledge. Equipped with a sufficient level of knowledge and defined rules of inference, we are able to undertake specific decisions. In order to attain better representation and exploration of the ever expanding knowledge resources and to undertake appropriate decisions, we create constantly improved means of representing knowledge and enhanced methods of modelling situations for the real world. The language of classical logic is an appropriate tool for the formal description of statistical incidents. Incidents taking place in time require a novelapproach. The power of expression, enabling a formal description of the time component, is made possible by the language of temporal logic.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.