Temporalines logikos sistemu CL ir K semantines interpretacijos su tradiciniu teisingumo reikšmiu pertrukiais.

Over the past several decades, in the field of temporal logic there have been created a great number of semantical theories that provide different truth conditions for tensed propositions. In this article we deal with five non-bivalent semantical interpretations of the temporal logic systems CL (Coc...

Full description

Bibliographic Details
Published in:Problems / Problemos Vol. 97; pp. 132 - 150
Main Author: Pabijutaitė, Živilė
Format: Article
Published: Vilnius University 2020
Subjects:
Online Access:View this record in EBSCOhost