A useful four-valued extension of the temporal logic KtT4

Research output: Contribution to journalArticlepeer-review

Abstract

The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.

Original languageEnglish
Pages (from-to)15-31
Number of pages17
JournalBulletin of the Section of Logic
Volume47
Issue number1
DOIs
Publication statusPublished - 30 Mar 2018

Keywords

  • Bi-intuitionistic logic
  • Cut-redundancy
  • Duality
  • Many-valued logic
  • Paraconsistent logic
  • Sequent calculus
  • Temporal logic

Fingerprint Dive into the research topics of 'A useful four-valued extension of the temporal logic K<sub>t</sub>T4'. Together they form a unique fingerprint.

Cite this