A useful four-valued extension of the temporal logic K_ tT4
DOI10.18778/0138-0680.47.1.02zbMATH Open1470.03014OpenAlexW2909351909WikidataQ128577255 ScholiaQ128577255MaRDI QIDQ4556005FDOQ4556005
Publication date: 23 November 2018
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.47.1.02
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
dualitymany-valued logicparaconsistent logictemporal logicsequent calculusbi-intuitionistic logiccut-redundancy
Many-valued logic (03B50) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)
Cites Work
- On partial and paraconsistent logics
- Anti-intuitionism and paraconsistency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Title not available (Why is that?)
- Proof analysis in modal logic
- Title not available (Why is that?)
- Partiality and its dual
- MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
- Title not available (Why is that?)
- Title not available (Why is that?)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (3)
Uses Software
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)
