Combining linear-time temporal logic with constructiveness and paraconsistency
From MaRDI portal
(Redirected from Publication:975875)
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
Cites work
- scientific article; zbMATH DE number 2070200 (Why is no real title available?)
- scientific article; zbMATH DE number 2079776 (Why is no real title available?)
- scientific article; zbMATH DE number 1405444 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 970633 (Why is no real title available?)
- A proof-theoretic investigation of a logic of positions
- A semantical study of constructible falsity
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Computer Science Logic
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructive negation, implication, and co-implication
- Decidable fragments of first-order temporal logics
- Display logic
- Displaying and deciding substructural logics. I: Logics with contraposition
- Displaying modal logic
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- Handbook of philosophical logic. Vol. 6
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Infinitary propositional intuitionistic logic
- Informational interpretation of substructural propositional logics
- LAR: A logic of algorithmic reasoning
- Logic Programming with Strong Negation and Inexact Predicates
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- Semantical analyses of propositional systems of Fitch and Nelson
- Sequential Calculus for a First Order Infinitary Temporal Logic
- Tableaux for constructive concurrent dynamic logic
- The logic of information structures
Cited in
(26)- Unification in linear temporal logic LTL
- On a generalization of Heyting algebras. I
- scientific article; zbMATH DE number 1444739 (Why is no real title available?)
- Synchronized linear-time temporal logic
- Representing any-time and program-iteration by infinitary conjunction
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Temporal BI: proof system, semantics and translations
- Paraconsistent computation tree logic
- Exploring the Jungle of Intuitionistic Temporal Logics
- Embedding theorems for LTL and its variants
- Temporal Gödel-Gentzen and Girard translations
- 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
- Inconsistency-tolerant multi-agent calculus
- Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
- Intuitionistic linear temporal logics
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- 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
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- scientific article; zbMATH DE number 7311251 (Why is no real title available?)
- Complete intuitionistic temporal logics for topological dynamics
- Intuitionistic linear-time -calculus
- Ill-founded proof systems for intuitionistic linear-time temporal logic
- Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning
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)
