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

Results found: 6

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  TEMPORAL LOGIC
help Sort By:

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

TEMPORAL LOGIC MODEL CHECKERS AS APPLIED IN COMPUTER SCIENCE

100%
Trzesicki K.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 17(30)
13-125
EN
Various logics are applied to specification and verification of both hardware and software systems. Since systems are operating in time, temporal logic is a proper tool. The problem with finding the proof is the most important disadvantage of the proof-theoretical method. The proof-theoretical method presupposes the axiomatization of logic. Proprieties of a system can also be checked using a model of the system. A model is constructed with the pecification language and checked using automatic model checkers. The model checking application presupposes the decidability of the task. The explosion of the cases that have to be explored is the main disadvantage of this method. Temporal logic model checking is an algorithmic method that can be used to check whether a given model (representing a system) satisfies certain properties (expressed as temporal logic formulas).
2

APPLICATIONS OF LOGIC IN MEDICINE

80%
Jankowska D., Milewska A. J., Górska U.
Studies in Logic, Grammar and Rhetoric
|
2010
|
issue 21(34)
7-24
EN
This paper presents the importance of logic in the medical field. Efficient and proper medical work is difficult without the knowledge of the rules of logic. Therefore, the paper will consider ways of implementing both classical logic and non-classical approach, e.g. temporal and fuzzy logic. The thesis will be supported by numerous examples illustrating how indispensable is the cognition of logic and showing how applying logic can effectively improve work in medicine.
3

FORMALIZATION OF PROPOSITIONAL LINEAR TEMPORAL LOGIC IN THE MIZAR SYSTEM

80%
Giero M.
Studies in Logic, Grammar and Rhetoric
|
2010
|
issue 22(35)
7-21
EN
The paper describes formalization of some issues of propositional linear temporal logic (PLTL). We discuss encountered problems and applied solutions. The formalization was carried out in the Mizar system. In comparison with other systems, Mizar is famous for its large repository of computer checked mathematical knowledge and also for its user-friendly knowledge representation and proof language.
4

STORING AND RETRIEVING INFORMATION ON THE TREATMENT OF INFERTILITY WITH THE USE OF THE BITEMPORAL DATABASE AND TEMPORAL LOGIC

80%
Giero M., Milewski R.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 17(30)
213-223
EN
In the paper, we present basic information on bitemporal databases and temporal logic. We show how the language of temporal logic can be used as a query language of a database. We use data of the treatment of infertility to present practical aspects of our research.
5

TEMPORAL ASPECT IN INFORMATION SYSTEMS

80%
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.
6

TEMPORAL-EPISTEMIC LOGIC

70%
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.
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.