Pages that link to "Item:Q716499"
From MaRDI portal
The following pages link to Unification in linear temporal logic LTL (Q716499):
Displayed 10 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)
- 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)
- 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)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)