Combining linear-time temporal logic with constructiveness and paraconsistency
DOI10.1016/J.JAL.2009.06.001zbMATH Open1207.03022OpenAlexW2075692041MaRDI QIDQ975875FDOQ975875
Authors: Norihiro Kamide, Heinrich Wansing 
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
Recommendations
- A Paraconsistent Linear-time Temporal Logic
- Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic
- Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Bounded linear-time temporal logic: a proof-theoretic investigation
constructive logicdecidabilityparaconsistent logicnormalizationKripke semanticscut-eliminationdisplay calculuslinear-time temporal logicnatural deduction systemsequent-style proof system
Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44) Logic in computer science (03B70)
Cites Work
- The logic of information structures
- Display logic
- Title not available (Why is that?)
- Constructible falsity
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Constructive negation, implication, and co-implication
- Constructible falsity and inexact predicates
- Decidable fragments of first-order temporal logics
- Displaying modal logic
- Handbook of philosophical logic. Vol. 6
- 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
- Sequential Calculus for a First Order Infinitary Temporal Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer Science Logic
- LAR: A logic of algorithmic reasoning
- Informational interpretation of substructural propositional logics
- A semantical study of constructible falsity
- Displaying and deciding substructural logics. I: Logics with contraposition
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Semantical analyses of propositional systems of Fitch and Nelson
- A proof-theoretic investigation of a logic of positions
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- Logic Programming with Strong Negation and Inexact Predicates
- Title not available (Why is that?)
- Title not available (Why is that?)
- Infinitary propositional intuitionistic logic
Cited In (21)
- Unification in linear temporal logic LTL
- Title not available (Why is that?)
- Representing any-time and program-iteration by infinitary conjunction
- Synchronized linear-time temporal logic
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Temporal BI: proof system, semantics and translations
- Exploring the Jungle of Intuitionistic Temporal Logics
- Paraconsistent computation tree logic
- Embedding theorems for LTL and its variants
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- A Paraconsistent Linear-time Temporal Logic
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- The intuitionistic temporal logic of dynamical systems
- Inconsistency-Tolerant Multi-Agent Calculus
- Title not available (Why is that?)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Temporal Gödel‐Gentzen and Girard translations
- Ill-founded proof systems for intuitionistic linear-time temporal logic
- Intuitionistic linear-time \(\mu\)-calculus
This page was built for publication: Combining linear-time temporal logic with constructiveness and paraconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975875)
