Combining linear-time temporal logic with constructiveness and paraconsistency

DOI10.1016/J.JAL.2009.06.001zbMath1207.03022OpenAlexW2075692041MaRDI QIDQ975875

Heinrich Wansing, Norihiro Kamide

Publication date: 11 June 2010

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2009.06.001

zbMATH Keywords

decidabilitynormalizationKripke semanticsnatural deduction systemcut-eliminationconstructive logicparaconsistent logicdisplay calculuslinear-time temporal logicsequent-style proof system

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44) Paraconsistent logics (03B53)

Related Items (13)

Inconsistency-Tolerant Multi-Agent Calculus ⋮ Representing any-time and program-iteration by infinitary conjunction ⋮ Temporal BI: proof system, semantics and translations ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Synchronized linear-time temporal logic ⋮ Temporal Gödel‐Gentzen and Girard translations ⋮ Paraconsistent computation tree logic ⋮ Embedding theorems for LTL and its variants ⋮ The intuitionistic temporal logic of dynamical systems ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Infinitary propositional intuitionistic logic
• LAR: A logic of algorithmic reasoning
• Semantical analyses of propositional systems of Fitch and Nelson
• Displaying and deciding substructural logics. I: Logics with contraposition
• The logic of information structures
• Informational interpretation of substructural propositional logics
• A proof-theoretic investigation of a logic of positions
• Decidable fragments of first-order temporal logics
• Handbook of philosophical logic. Vol. 6
• Displaying modal logic
• Display logic
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Tableaux for constructive concurrent dynamic logic
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Constructive negation, implication, and co-implication
• Natural deduction systems for Nelson's paraconsistent logic and its neighbors
• Constructible falsity and inexact predicates
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Logic Programming with Strong Negation and Inexact Predicates
• Computer Science Logic
• A semantical study of constructible falsity
• Constructible falsity

This page was built for publication: Combining linear-time temporal logic with constructiveness and paraconsistency