The following pages link to (Q3647278):
Displaying 8 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification (Q3520233) (← links)
- Using the Universal Modality: Gains and Questions (Q4007156) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
