Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning

DOI10.4467/20842589RM.17.001.7139zbMATH Open1420.03033OpenAlexW2767820149WikidataQ128740718 ScholiaQ128740718MaRDI QIDQ4609353

Norihiro Kamide

Publication date: 29 March 2018

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4467/20842589rm.17.001.7139

zbMATH Keywords

sequent calculusparaconsistent logiclinear-time temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Paraconsistent logics (03B53)

Related Items (2)

Title not available (Why is that?) ⋮ A Paraconsistent Linear-time Temporal Logic

This page was built for publication: Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning

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