A Paraconsistent Linear-time Temporal Logic

DOI10.3233/FI-2011-374zbMATH Open1228.03012OpenAlexW1948104915MaRDI QIDQ3084992FDOQ3084992

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

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

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)

Cited In (16)

• Linear Temporal Logic of Constraint Automata
• Synchronized linear-time temporal logic
• Title not available (Why is that?)
• Extended full computation-tree logics for paraconsistent model checking
• SOFSEM 2006: Theory and Practice of Computer Science
• Title not available (Why is that?)
• Logical consecutions in discrete linear temporal logic
• A propositional linear time logic with time flow isomorphic to \(\omega^2\)
• Partial cut elimination for propositional discrete linear time temporal logic
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Parity Automata for Quantitative Linear Time Logics
• Title not available (Why is that?)
• A restricted second-order logic for non-deterministic poly-logarithmic time
• Title not available (Why is that?)
• Title not available (Why is that?)

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)