Kokhan Y. Temporal logic: semantics of duration

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0405U000667

Thesis Registration Form

0405U000667.pdf

Applicant for

Specialization

  • 09.00.06 - Логіка

28-01-2005

Specialized Academic Board

Д 26.161.01

Essay

Dissertation is a comprehensive inquiry into the foundations of temporal logic, carried out from the standpoint of truth-theoretical approach. For this purpose the only notion of pure limited directed duration is added to the tools of propositional logic. Temporal-logical theories are built in the dissertation by means of creating systems of temporal-logical connectives that unite logical meaning with temporal relations.

Read more

Files

AREF.doc

dys_Kokhan.doc

Similar theses

0420U102289

Babiuk Viktoriia Leonidivna

The relevance notion within the informal research of argumentation

0520U100305

Nataliia A. Kolotilova

The Logic and Rhetoric: Components of the Interconnection.

0419U000629

Zahudaieva Olesia A.

Logical aspect of legal argumentation modeling

0418U000091

Tyshchenko Mykyta Valeriiovych

Specifics of formalization of argumentation contexts

0417U004782

Biloys Anna Oleksandrivna

Logical and rhetorical analysis of internet discourse.