A Paraconsistent Linear-time Temporal Logic

DOI10.3233/FI-2011-374MaRDI QIDQ3084992zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide, Heinrich Wansing

Publication date 28 March 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-374

zbMATH Keywords

embeddingparaconsistent logiccut eliminationsequent calculusdisplay calculuslinear-time temporal logicparaconsistent negation

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44) Combined logics (03B62)

Recommendations

• Combining linear-time temporal logic with constructiveness and paraconsistency
• Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning
• A decidable temporal logic of parallelism
• The axiomatization of propositional linear time temporal logic
• scientific article; zbMATH DE number 6287569
• Alternating-time temporal logics with linear past
• Bounded linear-time temporal logic: a proof-theoretic investigation
• The complexity of propositional linear temporal logics
• Intuitionistic linear temporal logics
• Constructive linear-time temporal logic: proof systems and Kripke semantics

Cited in

(24)

• scientific article; zbMATH DE number 7445165 (Why is no real title available?)
• Proof theory of abelian connexive logics
• Embedding-based approaches to paraconsistent and temporal description logics
• Synchronized linear-time temporal logic
• Linear Temporal Logic of Constraint Automata
• scientific article; zbMATH DE number 1956573 (Why is no real title available?)
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Paraconsistent computation tree logic
• Extended full computation-tree logics for paraconsistent model checking
• SOFSEM 2006: Theory and Practice of Computer Science
• scientific article; zbMATH DE number 5270677 (Why is no real title available?)
• Logical consecutions in discrete linear temporal logic
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
• A propositional linear time logic with time flow isomorphic to ^2
• Partial cut elimination for propositional discrete linear time temporal logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Parity Automata for Quantitative Linear Time Logics
• scientific article; zbMATH DE number 6174011 (Why is no real title available?)
• A unified Gentzen-style framework for until-free LTL
• Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning
• A restricted second-order logic for non-deterministic poly-logarithmic time
• scientific article; zbMATH DE number 2079776 (Why is no real title available?)

This page was built for publication: A Paraconsistent Linear-time Temporal Logic

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