Pages that link to "Item:Q716499"
From MaRDI portal
The following pages link to Unification in linear temporal logic LTL (Q716499):
Displaying 18 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Projective formulas and unification in linear discrete temporal multi-agent logics (Q2402145) (← links)
- Unified temporal logic (Q2661764) (← links)
- Writing out Unifiers in Linear Temporal Logic (Q3165757) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Projective formulas and unification in linear temporal logic LTLU (Q5172145) (← links)
- (Q5398251) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)
- About the unification types of modal logics (Q6612813) (← links)
