Recommendations
- Unified temporal logic
- Writing out Unifiers in Linear Temporal Logic
- Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
- Unifying proof methodologies of duration calculus and timed linear temporal logic
- A proof system for unified temporal logic
- A proof system for a unified temporal logic
- Intuitionistic linear temporal logics
- A Unified Translation of Linear Temporal Logic to ω-Automata
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
Cites work
- scientific article; zbMATH DE number 5640556 (Why is no real title available?)
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- A tableau method for checking rule admissibility in S4
- Admissible Rules of Lukasiewicz Logic
- Admissible Rules of Modal Logics
- Automated synthesis of tableau calculi
- Best solving modal equations
- Complexity of admissible rules
- Computer Science Logic
- Fast algorithms for uniform semi-unification
- Independent Bases of Admissible Rules
- Linear temporal logic with until and next, logical consecutions
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
- On the admissible rules of intuitionistic propositional logic
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Proof theory for admissible rules
- Rules of inference with parameters for intuitionistic logic
- Temporal logic and state systems
- The complexity of propositional linear temporal logics
- Unification in a description logic with transitive closure of roles
- Unification in intuitionistic logic
- Unification in the description logic EL
- Unification of concept terms in description logics
- Unification through projectivity
- Unification, finite duality and projectivity in varieties of Heyting algebras
Cited in
(18)- Inference rules in Nelson's logics, admissibility and weak admissibility
- On unification and admissible rules in Gabbay-de Jongh logics
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Admissibility and Unifiability in Contact Logics
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Projective formulas and unification in linear discrete temporal multi-agent logics
- Best unifiers in transitive modal logics
- About the unification types of modal logics
- scientific article; zbMATH DE number 6261993 (Why is no real title available?)
- Admissibility via natural dualities
- Unified temporal logic
- Writing out Unifiers in Linear Temporal Logic
- KD is nullary
- Satisfiability problem in interval FP-logic
This page was built for publication: Unification in linear temporal logic LTL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q716499)
