Semantical Interpretations of the Temporal Logic Systems CL and Kb with the Gaps of Traditional Truth-values
Abstract
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 (Cocchiarella Linear) and Kb (Kripke Branching): 1) Ł3 by J. Łukasiewicz; 2) K3 by S. C. Kleene; 3) Ockhamism by A. Prior; 4) supervaluationism by R....
Paper Details
Title
Semantical Interpretations of the Temporal Logic Systems CL and Kb with the Gaps of Traditional Truth-values
Published Date
Apr 21, 2020
Journal
Volume
97
Pages
132 - 149
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
- Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.
Notes
History