A useful four-valued extension of the temporal logic K_ tT4

DOI10.18778/0138-0680.47.1.02MaRDI QIDQ4556005zbMATHOpenAlexWikidataFDO

Authors Vincent Degauquier

Publication date 23 November 2018

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.47.1.02

zbMATH Keywords

dualitymany-valued logicparaconsistent logictemporal logicsequent calculusbi-intuitionistic logiccut-redundancy

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 3855066
• Completeness and decidability of tense logics closely related to logics above K4
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
• Generalization of some properties of relations in the context of functional temporal×modal logic
• scientific article; zbMATH DE number 4112561

Cites work

• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3556029 (Why is no real title available?)
• scientific article; zbMATH DE number 1301971 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 2150332 (Why is no real title available?)
• scientific article; zbMATH DE number 975275 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• Anti-intuitionism and paraconsistency
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Cuts, gluts and gaps
• Intuitive semantics for first-degree entailments and `coupled trees'
• Many-valued modal logics: a simple approach
• On partial and paraconsistent logics
• Partiality and its dual
• Proof analysis in modal logic

Cited in

(4)

• A note on the logic of eventual permanence for linear time
• scientific article; zbMATH DE number 3922621 (Why is no real title available?)
• On a multilattice analogue of a hypersequent S5 calculus
• Two proofs of the algebraic completeness theorem for multilattice logic

Describes a project that uses

Uses Software

• KtSeqC

This page was built for publication: A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4556005)